Hostname: page-component-cb9f654ff-r5d9c Total loading time: 0 Render date: 2025-07-31T12:45:44.615Z Has data issue: false hasContentIssue false
  • English
  • Français

In Memoriam: Leon Albert Henkin 1921–2006

Published online by Cambridge University Press:  15 January 2014

J. Donald Monk
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Obituary
Information
Bulletin of Symbolic Logic , Volume 15 , Issue 3 , September 2009 , pp. 326 - 331
Copyright
Copyright © Association for Symbolic Logic 2009

References

BIBLIOGRAPHY

[1] Fragments of the propositional calculus, The Journal of Symbolic Logic, vol. 14 (1949), pp. 42–48.Google Scholar
[2] The completeness of the first-order functional calculus, The Journal of Symbolic Logic, vol. 14 (1949), pp. 159–166.Google Scholar
[3] Completeness in the theory of types, The Journal of Symbolic Logic, vol. 15 (1950), pp. 81–91.Google Scholar
[4] A problem on inverse mapping systems, Proceedings of the American Mathematical Society, vol. 1 (1950), pp. 224–225.Google Scholar
[5] An algebraic characterization of quantifiers, Fundamenta Mathematicae, vol. 37 (1950), pp. 63–74.Google Scholar
[6] Some interconnections between modern algebra and mathematical logic, Transactions of the A merican Mathematical Society, vol. 74 (1953), pp. 410–427.Google Scholar
[7] Some notes on nominalism, The Journal ofSymbolic Logic, vol. 18 (1953), pp. 19–29.Google Scholar
[8] Banishing the rule of substitution for functional variables, The Journal of Symbolic Logic, vol. 18 (1953), pp. 201–208.CrossRefGoogle Scholar
[9] On the primitive symbols of Quine's ‘Mathematical Logic’, Google books Revue philosophique de Louvain, (1953), pp. 591–593.Google Scholar
[10] A generalization ofthe concept ofomega-consistency, The Journal of Symbolic Logic, vol. 19 (1954), pp. 183–196.Google Scholar
[11] Boolean representation through propositional calculus, Fundamenta Mathematicae, vol. 41 (1954), pp. 89–96.Google Scholar
[12] On a theorem of Vaught, Indagationes Mathematicae, vol. 17 (1955), pp. 326–328.Google Scholar
[13] The nominalistic interpretation of mathematical language, Bulletin de la Société de Mathématique de Belgique, vol. 7 (1955), pp. 131–136.Google Scholar
[14] The algebraic structure of mathematical theories, Bulletin de la Société de Mathématique de Belgique, vol. 7 (1955), pp. 137–141.Google Scholar
[15] The representation theorem for cylindric algebras, Mathematical interpretation of formal systems, pp. 85–97, North-Holland, 1955.Google Scholar
[16] La structure algebrique des theories mathematiques, Collection de Logique Mathematique, Series A, no. XI (1956), Gauthier–Villars, Paris.Google Scholar
[17] Two concepts from the theory of models, The Journal of Symbolic Logic, vol. 21 (1956), pp. 28–32.Google Scholar
[18] (with Montague, R.), On the definition of ‘formal deduction’, The Journal of Symbolic Logic, vol. 21 (1956), pp. 129–136.Google Scholar
[19] Sums of squares, Summer Institute of Symbolic Logic, vol. 2 (1957), pp. 284–290.Google Scholar
[20] (with Tarski, A.), Cylindrical algebras, Summer Institute of Symbolic Logic, vol. 3 (1957), pp. 332–340.Google Scholar
[21] A generalization of the concept of omega-completeness, The Journal of Symbolic Logic, vol. 22 (1957), pp. 1–14.Google Scholar
[22] The foundations of mathematics, Philosophy in the Mid-century, La Nueva Italia Editrice, Florence, 1958, pp. 116–129.Google Scholar
[23] (editor, with Suppes, P. and Tarski, A.), The axiomatic method, North-Holland, 1959.Google Scholar
[24] Some remarks on infinitely long formulas, Infinitistic methods, 1959, pp. 167–183.Google Scholar
[25] On mathematical induction, American Mathetical Monthly, vol. 67 (1960), pp. 323–338.Google Scholar
[26] (with Tarski, A.), Cylindric algebras, Proceedings of the Symposium on Pure Mathematics, American Mathematical Society, vol. 2 (1961), pp. 83–113.Google Scholar
[27] Some remarks on infinitely long formulas, Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics (Warsaw 1959), pp. 167–183.Google Scholar
[28] Are logic and mathematics identical?, Science, vol. 138 (1962), pp. 788–794.Google Scholar
[29] (with Smith, W. N., Varineau, V. J., and Walsh, M. J.), Retracing elementary mathematics, Macmillan Co., 1962, 418pp.Google Scholar
[30] Nominalistic analysis of mathematical language, Logic, Methodology, and Philosophy of Science, Stanford University Press, 1962, pp. 187–193.Google Scholar
[31] Symmetric Euclidean relations, Indagationes Mathematicae, vol. 24 (1962), pp. 549–553.Google Scholar
[32] New directions in secondary school mathematics, New Directions in Mathematics, Prentice Hall, 1962, pp. 1–6.Google Scholar
[33] Mathematics and logic, Proceedings of the Fifth Canadian Mathematical Congress, University of Toronto Press, 1963, pp. 184–200.Google Scholar
[34] An extension of the Craig–Lyndon interpolation theorem, The Journal of Symbolic Logic, vol. 28 (1963), pp. 201–216.Google Scholar
[35] A theory of propositional types, Fundamenta Mathematicae, vol. 52 (1963), pp. 323–344.Google Scholar
[36] (editor, with Addison, J. W. and Tarski, A.), The theory of models, North-Holland, 1965, xv + 494 pp.Google Scholar
[37] Logical systems containing only a finite number of symbols, Séminaire Mathematiques Superieures, Univérsité de Montréal, 1967, 48pp.Google Scholar
[38] Relativization with respect to formulas and its use in proofs of independence, Compositio Mathematica, vol. 20 (1968), pp. 88–106.Google Scholar
[39] Extending Boolean operations, Pacific Journal of Mathematics, vol. 32 (1970), pp. 723–752.Google Scholar
[40] Mathematical foundations for mathematics, American Mathetical Monthly, vol. 78 (1971), pp. 463–487.Google Scholar
[41] (with Monk, J. D. and Tarski, A.), Cylindric algebras, Part I, North-Holland, 1971, vi + 508pp.Google Scholar
[42] Internal semantics and algebraic logic, Truth, syntax, and modality, Studies in Logic and the Foundations of Mathematics, vol. 68, North-Holland, 1973, pp. 111–127.Google Scholar
[43] (with Monk, J. D.), Cylindric algebras and related structures, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, vol. XXV, University of California at Berkeley, 1971, pp. 105–121, American Mathematical Society, 1974.Google Scholar
[44] (editor), The Tarski symposium, Proceedings of Symposia in Pure Mathematics, vol. XXV, University of California at Berkeley, 1971, American Mathematical Society, 1974, xxi + 498pp.Google Scholar
[45] (with Resek, D.), Relativization of cylindric algebras, Fundamenta Mathematicae, vol. 82 (1974/1975), pp. 363–383.Google Scholar
[46] The logic of equality, American Mathetical Monthly, vol. 84 (1977), no. 8, pp. 597–612.Google Scholar
[47] Algebraic aspects of logic: past, present, future, Colloque International de Logique (Clermont-Ferrand 1975), Conseil National de la Recherche Scientifique, 1977, pp. 89–106.Google Scholar
[48] (with Leonard, W.), A Euclidean construction?, Mathematics Magazine, vol. 51 (1978), no. 5, pp. 294–298.Google Scholar
[49] (with Monk, J. D., Tarski, A., Andréka, H., and Németi, I.), Cylindric set algebras, Lecture Notes in Mathematics, vol. 883 (1981), Springer Verlag, vi + 323pp.Google Scholar
[50] (with Monk, J. D. and Tarski, A.), Cylindric algebras, Part II, North-Holland Publishing Company, 1985, ix + 302pp.Google Scholar
[51] (with Monk, J. D. and Tarski, A.), Representable cylindric algebras, Annals of Pure and Applied Logic, vol. 31 (1986), no. 1, pp. 23–60.Google Scholar
[52] In memoriam: Raphael Mitchell Robinson, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 340–343.Google Scholar
[53] The discovery of my completeness proofs, The Bulletin of Symbolic Logic, vol. 2 (1996), no. 2, pp. 127–158.Google Scholar