90 found
Sort by:
  1.  57 DLs
    Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
  2.  49 DLs
    Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
  3.  46 DLs
    Leon Henkin (1964). A Letter to Reviewer. Philosophia Mathematica (2):118-119.
  4.  44 DLs
    Leon Henkin (1954). A Generalization of the Concept of |Omega-Consistency. Journal of Symbolic Logic 19 (3):183 - 196.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5.  29 DLs
    Leon Henkin (1996). The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic 2 (2):127-158.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6.  27 DLs
    Richard Montague & Leon Henkin (1956). On the Definition of `Formal Deduction'. Journal of Symbolic Logic 21 (2):129-136.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7.  27 DLs
    Leon Henkin (1996). Dedicated to My Teacher, Alonzo Church, in His 91st Year. Bulletin of Symbolic Logic 2 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8.  19 DLs
    Heinrich Scholz, G. Kreisel & Leon Henkin (1952). Problems. Journal of Symbolic Logic 17 (2):160.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9.  18 DLs
    Leon Henkin (1975). Identity as a Logical Primitive. Philosophia 5 (1-2):31-45.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10.  10 DLs
    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)  
     
    My bibliography  
     
    Export citation  
  11.  10 DLs
    Leon Henkin (1956). Two Concepts From the Theory of Models. Journal of Symbolic Logic 21 (1):28-32.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12.  10 DLs
    Leon Henkin (1949). Fragments of the Propositional Calculus. Journal of Symbolic Logic 14 (1):42-48.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13.  9 DLs
    Leon Henkin (1963). An Extension of the Craig-Lyndon Interpolation Theorem. Journal of Symbolic Logic 28 (3):201-216.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14.  9 DLs
    Leon Henkin (1953). Some Notes on Nominalism. Journal of Symbolic Logic 18 (1):19-29.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15.  8 DLs
    Leon Henkin (1953). Banishing the Rule of Substitution for Functional Variables. Journal of Symbolic Logic 18 (3):201-208.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16.  7 DLs
    Leon Henkin (1954). Review: G. Kreisel, On a Problem of Henkin's. [REVIEW] Journal of Symbolic Logic 19 (3):219-220.
  17.  7 DLs
    Leon Henkin (1957). A Generalization of the Concept of Ω-Completeness. Journal of Symbolic Logic 22 (1):1-14.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18.  4 DLs
    Leon Henkin (1995). In Memoriam: Raphael Mitchel Robinson. Bulletin of Symbolic Logic 1 (3):340-343.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19.  4 DLs
    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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20.  3 DLs
    Leon Henkin (1952). Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW] Journal of Symbolic Logic 17 (3):205-207.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21.  2 DLs
    Leon Henkin (1953). On the Primitive Symbols of Quine's « Mathematical Logic. Revue Philosophique De Louvain 51 (32):591-593.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22.  2 DLs
    Leon Henkin (1960). Review: Hilary Putnam, Three-Valued Logic; Paul Feyerabend, Reichenbach's Interpretation of Quantum-Mechanics; Isaac Levi, Putnam's Three Truth Values. [REVIEW] Journal of Symbolic Logic 25 (3):289-291.
  23.  2 DLs
    Leon Henkin (1953). Review: Burton Dreben, On the Completeness of Quantification Theory. [REVIEW] Journal of Symbolic Logic 18 (4):339-339.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24.  2 DLs
    Leon Henkin (1955). Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW] Journal of Symbolic Logic 20 (2):185-186.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25.  2 DLs
    Leon Henkin (1948). Review: J. C. C. McKinsey, Alfred Tarski, Some Theorems About the Sentential Calculi of Lewis and Heyting. [REVIEW] Journal of Symbolic Logic 13 (3):171-172.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26.  2 DLs
    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 (3 more)  
     
    My bibliography  
     
    Export citation  
  27.  1 DLs
    Leon Henkin (1949). Review: Alfred Tarski, A Decision Method for Elementary Algebra and Geometry. [REVIEW] Journal of Symbolic Logic 14 (3):188-188.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28.  1 DLs
    Leon Henkin (1954). Review: Karl Menger, Calculus. A Modern Approach. [REVIEW] Journal of Symbolic Logic 19 (3):227-229.
  29.  1 DLs
    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  
     
    My bibliography  
     
    Export citation  
  30.  1 DLs
    Leon Henkin (1955). Review: Ladislav Rieger, On Countable Generalised $|Sigma$-Algebras, with a New Proof of Godel's Completeness Theorem. [REVIEW] Journal of Symbolic Logic 20 (3):281-282.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31.  1 DLs
    Leon Henkin (1957). Review: K. Jaakko Hintikka, An Application of Logic to Algebra. [REVIEW] Journal of Symbolic Logic 22 (2):216-217.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32.  1 DLs
    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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33.  1 DLs
    Leon Henkin (1958). Review: A. Heyting, Logique et Intuitionnisme. [REVIEW] Journal of Symbolic Logic 23 (1):33-33.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34.  1 DLs
    Leon Henkin (1955). Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35.  1 DLs
    Leon Henkin (1960). Review: Jerome Rothstein, C. A. Muses, Communication, Organization and Science. [REVIEW] Journal of Symbolic Logic 25 (3):256-256.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36.  1 DLs
    Leon Henkin (1951). Review: Hugues Leblanc, The Semiotic Function of Predicates. [REVIEW] Journal of Symbolic Logic 16 (3):213-213.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37.  1 DLs
    Leon Henkin (1956). La Structure Algébrique des Théories Mathématiques. Gauthier-Villars.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38.  1 DLs
    Leon Henkin (1955). Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW] Journal of Symbolic Logic 20 (1):80-80.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39.  1 DLs
    Leon Henkin (1971). Review: Marc Krasner, Les algebres cylindriques. [REVIEW] Journal of Symbolic Logic 36 (2):337-337.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40.  1 DLs
    Leon Henkin (1951). Review: Hugues Leblanc, On Definitions. [REVIEW] Journal of Symbolic Logic 16 (3):213-214.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41.  1 DLs
    Leon Henkin, J. Donald Monk & Alfred Tarski (1986). Representable cylindric algebras. Annals of Pure and Applied Logic 31 (1):23-60.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42.  1 DLs
    Leon Henkin (1955). Review: A. Chatelet, Allocution d'Ouverture; L. E. J. Brouwer, Discours Final; Abraham Robinson, On Axiomatic Systems Which Possess Finite Models. [REVIEW] Journal of Symbolic Logic 20 (2):186-186.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43.  0 DLs
    Leon Henkin (1956). Review: Jerzy Los, The Algebraic Treatment of the Methodology of Elementary Deductive Systems. [REVIEW] Journal of Symbolic Logic 21 (2):193-194.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44.  0 DLs
    Leon Henkin (1974). Mathematical Foundations for Mathematics. Journal of Symbolic Logic 39 (2):333-333.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45.  0 DLs
    Leon Henkin (1949). Review: Stanislaw Jaskowski, Sur Certains Groupes Formes de Classes d'Ensembles et Leur Application aux Definitions des Nombres. [REVIEW] Journal of Symbolic Logic 14 (1):66-66.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46.  0 DLs
    Leon Henkin (1955). Review: E. W. Beth, Sur le Parallelisme Logico-Mathematique. [REVIEW] Journal of Symbolic Logic 20 (2):184-185.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47.  0 DLs
    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  
     
    My bibliography  
     
    Export citation  
  48.  0 DLs
    Leon Henkin (1959). Review: L. Nolin, Sur L'algebre des Predicats; A. Mostowski, J. Porte, A. Tarski, J. Riguet, Interventions. [REVIEW] Journal of Symbolic Logic 24 (3):235-235.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49.  0 DLs
    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  
     
    My bibliography  
     
    Export citation  
  50.  0 DLs
    Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski (1974). Elementary Theories with Models Without Automorphisms. Journal of Symbolic Logic 39 (2):338-338.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 90