Leon Henkin the Reviewer (Q3454809): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-09719-0_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2104507155
@@ Property / OpenAlex ID: W2104507155 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789455
@@ Property / cites work: Q4789455 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
+Normal rank
@@ Property / cites work @@
+A Functional calculus of first order based on strict implication
+Normal rank
@@ Property / cites work @@
+Q5806806
@@ Property / cites work: Q5806806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5818470
@@ Property / cites work: Q5818470 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundations of mathematics. A study in the philosophy of science
+Normal rank
@@ Property / cites work @@
+Q3290715
@@ Property / cites work: Q3290715 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities and Quantification
@@ Property / cites work: Modalities and Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792040
@@ Property / cites work: Q5792040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792039
@@ Property / cites work: Q5792039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824669
@@ Property / cites work: Q5824669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
+Normal rank
@@ Property / cites work @@
+Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
+Normal rank
@@ Property / cites work @@
+A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
+Normal rank
@@ Property / cites work @@
+On the Completeness of Quantification Theory
@@ Property / cites work: On the Completeness of Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Alonzo Church and the Reviews
@@ Property / cites work: Alonzo Church and the Reviews / rank @@
+Normal rank
@@ Property / cites work @@
+Q5553250
@@ Property / cites work: Q5553250 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and the modalities in the twentieth century
@@ Property / cites work: Logic and the modalities in the twentieth century / rank @@
+Normal rank
@@ Property / cites work @@
+Steps toward a constructive nominalism
@@ Property / cites work: Steps toward a constructive nominalism / rank @@
+Normal rank
@@ Property / cites work @@
+What is Cantor's Continuum Problem?
@@ Property / cites work: What is Cantor's Continuum Problem? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+An algebraic characterization of quantifiers
@@ Property / cites work: An algebraic characterization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Some Interconnections Between Modern Algebra and Mathematical Logic
+Normal rank
@@ Property / cites work @@
+Some notes on nominalism
@@ Property / cites work: Some notes on nominalism / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of <i>ω</i>-consistency
+Normal rank
@@ Property / cites work @@
+Q3235798
@@ Property / cites work: Q3235798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5850527
@@ Property / cites work: Q5850527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259697
@@ Property / cites work: Q3259697 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of<i>ω</i>-completeness
+Normal rank
@@ Property / cites work @@
+On Mathematical Induction
@@ Property / cites work: On Mathematical Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Are Logic and Mathematics Identical?
@@ Property / cites work: Are Logic and Mathematics Identical? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526939
@@ Property / cites work: Q5526939 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+Q5525312
@@ Property / cites work: Q5525312 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549024
@@ Property / cites work: Q5549024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537625
@@ Property / cites work: Q5537625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041474
@@ Property / cites work: Q4041474 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847974
@@ Property / cites work: Q4847974 / rank @@
+Normal rank
@@ Property / cites work @@
+The Discovery of My Completeness Proofs
@@ Property / cites work: The Discovery of My Completeness Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of models. Proceedings of the 1963 international symposium at Berkeley
+Normal rank
@@ Property / cites work @@
+A Euclidean Construction?
@@ Property / cites work: A Euclidean Construction? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063140
@@ Property / cites work: Q4063140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Representable cylindric algebras
@@ Property / cites work: Representable cylindric algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relativization of cylindric algebras
@@ Property / cites work: Relativization of cylindric algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731900
@@ Property / cites work: Q5731900 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
+Normal rank
@@ Property / cites work @@
+Q5557883
@@ Property / cites work: Q5557883 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732648
@@ Property / cites work: Q5732648 / rank @@
+Normal rank
@@ Property / cites work @@
+On weakened quantification
@@ Property / cites work: On weakened quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829782
@@ Property / cites work: Q5829782 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of logic to algebra
@@ Property / cites work: An application of logic to algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802107
@@ Property / cites work: Q5802107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802122
@@ Property / cites work: Q5802122 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802124
@@ Property / cites work: Q5802124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5795115
@@ Property / cites work: Q5795115 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Predicates and Quantifiers
@@ Property / cites work: Recursive Predicates and Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Les algèbres cylindriques
@@ Property / cites work: Les algèbres cylindriques / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823280
@@ Property / cites work: Q5823280 / rank @@
+Normal rank
@@ Property / cites work @@
+Structures algébriques suggérées par la logique mathématique
+Normal rank
@@ Property / cites work @@
+On the representation of 𝜎-complete Boolean algebras
+Normal rank
@@ Property / cites work @@
+On the categoricity in power of elementary deductive systems and some related problems
+Normal rank
@@ Property / cites work @@
+The algebraic treatment of the methodology of elementary deductive systems
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Partially Ordered Sets
@@ Property / cites work: Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3238333
@@ Property / cites work: Q3238333 / rank @@
+Normal rank
@@ Property / cites work @@
+The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
+Normal rank
@@ Property / cites work @@
+Q5554943
@@ Property / cites work: Q5554943 / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of complete extensions of the Lewis systems of sentential calculus
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q5834638
@@ Property / cites work: Q5834638 / rank @@
+Normal rank
@@ Property / cites work @@
+Are Variables Necessary in Calculus
@@ Property / cites work: Are Variables Necessary in Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5823571
@@ Property / cites work: Q5823571 / rank @@
+Normal rank
@@ Property / cites work @@
+The Ideas of Variable and Function
@@ Property / cites work: The Ideas of Variable and Function / rank @@
+Normal rank
@@ Property / cites work @@
+In Memoriam: Leon Albert Henkin 1921–2006
@@ Property / cites work: In Memoriam: Leon Albert Henkin 1921–2006 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of ‘formal deduction’
@@ Property / cites work: On the definition of ‘formal deduction’ / rank @@
+Normal rank
@@ Property / cites work @@
+Q3271837
@@ Property / cites work: Q3271837 / rank @@
+Normal rank
@@ Property / cites work @@
+On absolute properties of relations
@@ Property / cites work: On absolute properties of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of non-deducibility in intuitionistic functional calculus
+Normal rank
@@ Property / cites work @@
+Q3289852
@@ Property / cites work: Q3289852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3228594
@@ Property / cites work: Q3228594 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal theorem in Church's theory of types
@@ Property / cites work: A formal theorem in Church's theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256306
@@ Property / cites work: Q3256306 / rank @@
+Normal rank
@@ Property / cites work @@
+On Universals
@@ Property / cites work: On Universals / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Treatment of the Functional Calculi of Heyting and Lewis
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Skolem-Löwenheim Theorem
@@ Property / cites work: A proof of the Skolem-Löwenheim Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic treatment of the notion of satisfiability
+Normal rank
@@ Property / cites work @@
+On existential theorems in non-classical functional calculi
+Normal rank
@@ Property / cites work @@
+Completeness of the functional calculus of first order
+Normal rank
@@ Property / cites work @@
+Q5809945
@@ Property / cites work: Q5809945 / rank @@
+Normal rank
@@ Property / cites work @@
+On the metamathematics of algebra
@@ Property / cites work: On the metamathematics of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5816107
@@ Property / cites work: Q5816107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5818468
@@ Property / cites work: Q5818468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3252967
@@ Property / cites work: Q3252967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5782194
@@ Property / cites work: Q5782194 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
+Normal rank
@@ Property / cites work @@
+Q5829833
@@ Property / cites work: Q5829833 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971
+Normal rank
@@ Property / cites work @@
+Grundzüge der Systemenkalküls I
@@ Property / cites work: Grundzüge der Systemenkalküls I / rank @@
+Normal rank
@@ Property / cites work @@
+Grundzüge des Systemenkalküls II
@@ Property / cites work: Grundzüge des Systemenkalküls II / rank @@
+Normal rank
@@ Property / cites work @@
+Der Aussagenkalkül und die Topologie
@@ Property / cites work: Der Aussagenkalkül und die Topologie / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815606
@@ Property / cites work: Q5815606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5833217
@@ Property / cites work: Q5833217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829020
@@ Property / cites work: Q5829020 / rank @@
+Normal rank