137 found
Order:
  1.  82
    Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
  2.  17
    Leon Henkin (1971). Cylindric Algebras. Amsterdam,North-Holland Pub. Co..
    Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  3.  61
    Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
  4.  2
    Leon Henkin, J. Donald Monk & Alfred Tarski (1988). Cylindric Algebras. Part II. Journal of Symbolic Logic 53 (2):651-653.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  5. Leon Henkin (1954). A Generalization of the Concept of |Omega-Consistency. Journal of Symbolic Logic 19 (3):183 - 196.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6.  37
    Leon Henkin (1996). The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic 2 (2):127-158.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  7. Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski (1985). Cylindric Algebras. Part I. Journal of Symbolic Logic 50 (1):234-237.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  8.  41
    Leon Henkin (1996). Dedicated to My Teacher, Alonzo Church, in His 91st Year. Bulletin of Symbolic Logic 2 (2).
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  15
    Leon Henkin (1963). An Extension of the Craig-Lyndon Interpolation Theorem. Journal of Symbolic Logic 28 (3):201-216.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  10.  38
    Richard Montague & Leon Henkin (1956). On the Definition of `Formal Deduction'. Journal of Symbolic Logic 21 (2):129-136.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  11. H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski (1969). Finite Approximations of Infinitely Long Formulas. Journal of Symbolic Logic 34 (1):129-130.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  12. Leon Henkin (1963). A Theory of Propositional Types. Fundamenta Mathematicae 52:323-334.
     
    Export citation  
     
    My bibliography   9 citations  
  13.  52
    Leon Henkin (1964). A Letter to Reviewer. Philosophia Mathematica (2):118-119.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  22
    Heinrich Scholz, G. Kreisel & Leon Henkin (1952). Problems. Journal of Symbolic Logic 17 (2):160.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  15.  22
    Leon Henkin (1975). Identity as a Logical Primitive. Philosophia 5 (1-2):31-45.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  16.  1
    Leon Henkin (1950). Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW] Journal of Symbolic Logic 15 (3):230-230.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  17.  6
    Leon Henkin (1963). Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW] Journal of Symbolic Logic 28 (2):174-175.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  1
    Leon Henkin (1956). La Structure Algébrique des Théories Mathématiques. Gauthier-Villars.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  19.  12
    Leon Henkin (1953). Some Notes on Nominalism. Journal of Symbolic Logic 18 (1):19-29.
  20. Leon Henkin (1967). Logical Systems Containing Only a Finite Number of Symbols. Montreal, Presses De l'Université De Montréal.
     
    Export citation  
     
    My bibliography   3 citations  
  21.  13
    Leon Henkin (1949). Fragments of the Propositional Calculus. Journal of Symbolic Logic 14 (1):42-48.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  22. J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard (1975). The Fraenkel-Mostowski Method for Independence Proofs in Set Theory. Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  23. Saharon Shelah & Leon Henkin (1981). Categoricity of Uncountable Theories. Journal of Symbolic Logic 46 (4):866-867.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  24.  12
    Leon Henkin (1953). Banishing the Rule of Substitution for Functional Variables. Journal of Symbolic Logic 18 (3):201-208.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25. Leon Henkin (1952). Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Journal of Symbolic Logic 17 (3):205-207.
     
    Export citation  
     
    My bibliography   3 citations  
  26.  11
    Leon Henkin (1995). In Memoriam: Raphael Mitchel Robinson. Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  27.  8
    Leon Henkin (1957). A Generalization of the Concept of Ω-Completeness. Journal of Symbolic Logic 22 (1):1-14.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  1
    Leon Henkin (1971). Review: Marc Krasner, Les algebres cylindriques. [REVIEW] Journal of Symbolic Logic 36 (2):337-337.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29. Leon Henkin (1949). Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW] Journal of Symbolic Logic 14 (1):65-65.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  30. R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski (1968). A Löwenheim-Skolem Theorem for Cardinals for Apart. Journal of Symbolic Logic 33 (3):476-477.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  8
    Leon Henkin (1954). Review: G. Kreisel, On a Problem of Henkin's. [REVIEW] Journal of Symbolic Logic 19 (3):219-220.
  32. Patrick Colonel Suppes, Leon Henkin, Athanase Joja & Gr C. Moisil (1973). Logic, Methodology and Philosophy of Science Iv. North Holland, Amsterdam.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  33.  6
    Leon Henkin (1953). On the Primitive Symbols of Quine's « Mathematical Logic ». Revue Philosophique De Louvain 51 (32):591-593.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    Leon Henkin (1949). Chauvin Andre. Structure Logiques. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 222 , Pp. 1085–1087. [REVIEW] Journal of Symbolic Logic 14 (3):193.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  1
    Leon Henkin (1958). Heyting A.. Logique Et Intuitionnisme. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 75–82.Kreisel G., Robinson Abraham, Johansson Ingebrigt, Kurepa Georges, Heyting A.. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 82–83. [REVIEW] Journal of Symbolic Logic 23 (1):33.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Leon Henkin (1971). L'abbé Maurice. Structures Algébriques Suggérées Par la Logique Mathématique. Bulletin de la Société Mathématique de France, Vol. 86 , Pp. 299–314. [REVIEW] Journal of Symbolic Logic 36 (2):337.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    Leon Henkin (1967). Stone M. H.. Free Boolean Rings and Algebras. Anais da Academia Brasileira de Ciências, Vol. 26 , Pp. 9–17. Journal of Symbolic Logic 32 (3):415.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  13
    Leon Henkin (1956). Two Concepts From the Theory of Models. Journal of Symbolic Logic 21 (1):28-32.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Leon Henkin, J. Donald Monk & Alfred Tarski (1986). Representable cylindric algebras. Annals of Pure and Applied Logic 31 (1):23-60.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  2
    Gebhard Furhken, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Languages with Added Quantifier There Exist at Least ℵ Α. Journal of Symbolic Logic 35 (2):342-342.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  2
    Leon Henkin (1951). An Algebraic Characterization of Quantifiers. Journal of Symbolic Logic 16 (4):290-291.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    Leon Henkin (1964). Are Logic and Mathematics Identical? Journal of Symbolic Logic 29 (3):141-142.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  2
    Pascual Jordan, Leon Henkin, Patrick Suppes & Alfred Tarski (1974). Quantenlogik Und Das Kommutative Gesetz. Journal of Symbolic Logic 39 (2):353-353.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  2
    Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher (1969). Topics in the Theory of Definition. Journal of Symbolic Logic 34 (2):300-301.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  1
    Leon Henkin (1957). Review: K. Jaakko Hintikka, An Application of Logic to Algebra. [REVIEW] Journal of Symbolic Logic 22 (2):216-217.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  1
    Leon Henkin (1956). Review: A. Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, Der Gegenwartige Stand der Grundlagenforschung in der Mathematik; Andrzej Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, The Present State of Investigations on the Foundations of Mathematics; A. Mostowski, A. Grzegorczyk, J. Los, S. Mazur, H. Rasiowa, R. Sikorski, S. Jaskowski, Sovremennoe Sostoanie Issledovanij Po Osnovaniam Matematiki. [REVIEW] Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47. Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski (1970). Measurement, Empirical Meaningfulness, and Three-Valued Logic. Journal of Symbolic Logic 35 (1):129-131.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48. Leon Henkin & G. Kreisel (1966). Sums of Squares. Journal of Symbolic Logic 31 (1):128-129.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  3
    Leon Henkin (1952). Review: Kurt Godel, The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory. [REVIEW] Journal of Symbolic Logic 17 (3):207-208.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. Leon Henkin (1954). A Generalization of the Concept of Ω-Consistency. Journal of Symbolic Logic 19 (3):183-196.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 137