147 found
Order:
Disambiguations
Leon Henkin [142]L. Henkin [10]Louis Henkin [2]
  1. Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
  2. Some Remarks on Infinitely Long Formulas.L. Henkin - 1961 - In Journal of Symbolic Logic. Pergamon Press. pp. 167--183.
  3. The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
  4.  25
    Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Direct download  
     
    Export citation  
     
    Bookmark   78 citations  
  5.  51
    Cylindric Algebras.Leon Henkin - 1971 - 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  
     
    Bookmark   26 citations  
  6.  32
    Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
  7.  36
    Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
  8.  30
    Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  9. Infinistic Methods.L. Henkin - 1961 - Pergamon Press.
    Translate
     
     
    Export citation  
     
    Bookmark   18 citations  
  10.  8
    Cylindric Algebras.Leon Henkin & Alfred Tarski - 1967 - Journal of Symbolic Logic 32 (3):415-416.
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  11. A Theory of Propositional Types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
     
    Export citation  
     
    Bookmark   22 citations  
  12. A Generalization of the Concept of Ω-Consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
  13.  80
    The Discovery of My Completeness Proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
  14.  28
    An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  15.  4
    The Completeness of the First-Order Functional Calculus.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  16.  39
    Problems.Heinrich Scholz, G. Kreisel & Leon Henkin - 1952 - Journal of Symbolic Logic 17 (2):160.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  1
    Mathematical Interpretation of Formal Systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam, Netherlands: North-Holland Pub. Co..
  18.  37
    Fragments of the Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.
  19.  71
    Identity as a Logical Primitive.Leon Henkin - 1975 - Philosophia 5 (1-2):31-45.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  20.  15
    Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.Dana Scott, J. W. Addison, Leon Henkin & Alfred Tarski - 1971 - Journal of Symbolic Logic 36 (1):157-158.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  21.  32
    Some Notes on Nominalism.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29.
  22.  12
    Finite Approximations of Infinitely Long Formulas.H. Jerome Keisler, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  23.  26
    Banishing the Rule of Substitution for Functional Variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
  24.  13
    Review: Laszlo Kalmar, Une Forme du Theoreme de Godel Sous des Hypotheses Minimales; Laszlo Kalmar, Quelques Formes Generales du Theoreme de Godel. [REVIEW]Leon Henkin - 1950 - Journal of Symbolic Logic 15 (3):230-230.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  25. Logical Systems Containing Only a Finite Number of Symbols.Leon Henkin - 1967 - Montreal, Presses De l'Université De Montréal.
  26.  39
    A Generalization of the Concept of Ω-Completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
  27.  16
    La Structure Algébrique des Théories Mathématiques.Leon Henkin - 1956 - Gauthier-Villars.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  28.  17
    Measurement, Empirical Meaningfulness, and Three-Valued Logic.Patrick Suppes, J. W. Addison, Leon Henkin & Alfred Tarski - 1970 - Journal of Symbolic Logic 35 (1):129-131.
  29. Cylindric Set Algebras.L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225.
  30.  14
    A Löwenheim-Skolem Theorem for Cardinals for Apart.R. L. Vaught, J. W. Addison, Leon Henkin & Alfred Tarski - 1968 - Journal of Symbolic Logic 33 (3):476-477.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  31.  4
    The Representation Theorem for Cylindrical Algebras.L. Henkin - 1957 - Journal of Symbolic Logic 22 (2):215-215.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  32.  1
    Proceedings of the Tarski Symposium: An International Symposium to Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, C. C. Chang John Addison, Dana Scott William Craig & Robert Vaught (eds.) - 1974 - Providence, RI, USA: American Mathematical Society.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  27
    Review: Antonio Monteiro, Matrices de Morgan Caracteristiques pour le Calcul Propositionnel Classique. [REVIEW]Leon Henkin - 1963 - Journal of Symbolic Logic 28 (2):174-175.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  34.  9
    Categoricity of Uncountable Theories.Saharon Shelah & Leon Henkin - 1981 - Journal of Symbolic Logic 46 (4):866-867.
  35.  15
    The Fraenkel-Mostowski Method for Independence Proofs in Set Theory.J. W. Addison, Leon Henkin, Alfred Tarski & Paul E. Howard - 1975 - Journal of Symbolic Logic 40 (4):631-631.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  33
    Are Logic and Mathematics Identical?Leon Henkin - 1964 - Journal of Symbolic Logic 29 (3):141-142.
  37.  26
    An Algebraic Characterization of Quantifiers.Leon Henkin - 1951 - Journal of Symbolic Logic 16 (4):290-291.
  38.  19
    Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):65-65.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  39. Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
  40.  11
    Sums of Squares.Leon Henkin & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (1):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  1
    The Theory of Models: Proceedings of the 1963 International Symposium at Berkeley.John West Addison, Leon Henkin & Alfred Tarski - 1965
  42. La structure algébrique des théories mathématiques.Leon Henkin - 1958 - Studia Logica 7:283-286.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  43.  3
    An Extension of the Craig-Lyndon Interpolation Theorem.Leon Henkin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  15
    Chauvin Andre. Structure Logiques. Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences , Vol. 222 , Pp. 1085–1087. [REVIEW]Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):193-193.
  45.  15
    Kreisel G.. On a Problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 56 , Pp. 405–406; Also Indagationes Mathematicae, Vol. 15 , Pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
  46.  15
    Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31:23-60.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  47.  13
    Review: Marc Krasner, Les algebres cylindriques. [REVIEW]Leon Henkin - 1971 - Journal of Symbolic Logic 36 (2):337-337.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  48.  8
    Fragments of Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):197-198.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  21
    M. H. Stone. Free Boolean Rings and Algebras. Anais da Academia Brasileira de Ciências, Vol. 26 , Pp. 9–17.Leon Henkin - 1967 - Journal of Symbolic Logic 32 (3):415.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  51
    Dedicated to My Teacher, Alonzo Church, in His 91st Year.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2).
1 — 50 / 147