Leon Albert Henkin (April 19, 1921, Brooklyn, New York - November 1, 2006, Oakland, California) was an American logician, whose works played a strong role...

Henkin is a Jewish last name and may refer to the following people: Leon Henkin, logician and mathematician Henkin quantifier, a concept he pioneered Gennadi...

expressive power, and they will be assumed for the remainder of this article. Leon Henkin (1950) defined an alternative kind of semantics for second-order and...

technique in the proof of Gödel's completeness theorem presented by Leon Henkin in 1949. The notion of witness leads to the more general idea of game...

David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L'Abbé,...

about itself" that it is provable (also known as a Henkin-sentence, named after logician Leon Henkin). It turns out that under suitable meta-mathematical...

was first proved by Kurt Gödel in 1929. It was then simplified when Leon Henkin observed in his Ph.D. thesis that the hard part of the proof can be presented...

Branching quantification first appeared in a 1959 conference paper of Leon Henkin. Systems of partially ordered quantification are intermediate in strength...

Introduction to Mathematical Logic Leon Henkin (Sep 1949) The Completeness of the First-Order Functional Calculus p.160 Leon Henkin (Jun 1996) The Discovery of...

aspects were developed, mainly by Tarski himself, as well as C.C. Chang, Leon Henkin, Bjarni Jónsson, Roger Lyndon, and others. In the late 1950s, Edward...