Leon Henkin (henkin-le)
Cited in the following articles
The Quantified Argument Calculus and Natural LogicContributions to Philosophie.ch
No contributions yet
Bibliography
Addison, John West, Henkin, Leon and Tarski, Alfred, eds. 1965. The Theory of Models. Amsterdam: North-Holland Publishing Co. Proceedings of the 1963 International Symposium at Berkeley.
Henkin, Leon. 1949. “The Completeness of the First-Order Functional Calculus.” The Journal of Symbolic Logic 14(3): 159–166, doi:10.2307/2267044.
Henkin, Leon. 1950. “Completeness in the Theory of Types.” The Journal of Symbolic Logic 15: 81–91.
Henkin, Leon. 1953. “Some Notes on Nominalism.” The Journal of Symbolic Logic 18: 19–29.
Henkin, Leon. 1954. “A Generalization of the Concept of \(\omega\)-Consistency.” The Journal of Symbolic Logic 19(3): 183–196.
Henkin, Leon. 1955a. “The Nominalistic Interpretation of Mathematical Language.” Bulletin de la Société Mathématique de Belgique 7: 137–142.
Henkin, Leon. 1955b. “The Representation Theorem for Cylindrical Algebras.” in Mathematical Interpretation of Formal Systems, pp. 85–97. Studies in Logic and the Foundations of Mathematics n. 16. Amsterdam: North-Holland Publishing Co.
Henkin, Leon. 1957. “A Generalization of the Concept of \(\omega\)-Completeness.” The Journal of Symbolic Logic 22(4): 1–14.
Henkin, Leon. 1960. “On Mathematical Induction.” American Mathematical Monthly 67: 323–338.
Henkin, Leon. 1961. “Some Remarks on Infinitely Long Formulas.” in Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 sept. 1959, pp. 167–183. London: Pergamon Press.
Henkin, Leon. 1962a. “Are Logic and Mathematics Identical?” Science 138(3542): 788–794.
Henkin, Leon. 1962b. “Nominalistic Analysis of Mathematical Language.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 187–193. Stanford, California: Stanford University Press.
Henkin, Leon. 1963. “A Theory of Propositional Types.” Fundamenta Mathematicae 52: 323–350. Errata are in Fundamenta Mathematicae 53, p. 119.
Henkin, Leon. 1964. “A Letter to Reviewer [on Fang, Review of Henkin].” Philosophia Mathematica s1-1(2): 118–119, doi:10.1093/philmat/s1-1.2.118.
Henkin, Leon. 1972a. “La complétude du calcul fonctionnel du premier ordre.” in Logique mathématique, Textes, edited by Jean Largeault, pp. 186–195. U Epistémologie. Paris: Armand Colin. Traduction de Henkin (1949).
Henkin, Leon. 1972b. “Complétude en théorie des types.” in Logique mathématique, Textes, edited by Jean Largeault, pp. 199–211. U Epistémologie. Paris: Armand Colin. Traduction de Henkin (1950).
Henkin, Leon. 1973. “Internal Semantics and Algebraic Logic.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 111–127. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Henkin, Leon. 1975. “Identity as a Logical Primitive.” Philosophia: Philosophical Quarterly of Israel 5: 31–45.
Henkin, Leon. 1996. “The Discovery of My Completeness Proofs.” The Bulletin of Symbolic Logic 2(2): 127–158.
Henkin, Leon and Monk, J. Donald. 1974. “Cylindric Algebras and Related Structures.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 105–122. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Henkin, Leon, Monk, J. Donald and Tarski, Alfred. 1971. Cylindric Algebras. Part I. Studies in Logic and the Foundations of Mathematics n. 64. Amsterdam: North-Holland Publishing Co.
Henkin, Leon, Monk, J. Donald and Tarski, Alfred. 1985. Cylindric Algebras. Part II. Studies in Logic and the Foundations of Mathematics n. 115. Amsterdam: North-Holland Publishing Co.
Henkin, Leon, Suppes, Patrick and Tarski, Alfred, eds. 1959. The Axiomatic Method with Special Reference to Geometry and Physics. Amsterdam: North-Holland Publishing Co.
Montague, Richard and Henkin, Leon. 1956. “On the Definition of ‘Formal Deduction’ .” The Journal of Symbolic Logic 21: 129–136.