Leon Henkin the Reviewer
From MaRDI portal
Publication:3454809
DOI10.1007/978-3-319-09719-0_10zbMath1331.01025OpenAlexW2104507155MaRDI QIDQ3454809
José Pedro Ubeda Rives, Concha Martínez Vidal
Publication date: 27 November 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_10
algebraic logictype theorymetalogicmathematical educationLeon Henkinreviewslogic systemsphilosophy of logic and mathematics
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Cites Work
- Completeness of the functional calculus of first order
- The algebraic treatment of the methodology of elementary deductive systems
- The foundations of mathematics. A study in the philosophy of science
- 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
- Cylindric algebras. Part II
- 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
- 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
- Representable cylindric algebras
- Logic and the modalities in the twentieth century
- The theory of models. Proceedings of the 1963 international symposium at Berkeley
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- The representation of relational algebras
- On the metamathematics of algebra
- The algebra of topology
- On closed elements in closure algebras
- Are Logic and Mathematics Identical?
- Solution of a problem of Leon Henkin
- Some notes on nominalism
- On the definition of ‘formal deduction’
- A generalization of the concept ofω-completeness
- Structures algébriques suggérées par la logique mathématique
- Les algèbres cylindriques
- In Memoriam: Leon Albert Henkin 1921–2006
- Relativization of cylindric algebras
- The Logic of Equality
- A Euclidean Construction?
- Alonzo Church and the Reviews
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
- The Discovery of My Completeness Proofs
- A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
- Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
- A theory of prepositional types
- On Mathematical Induction
- An extension of the Craig-Lyndon interpolation theorem
- Lattices With Involution
- Grundzüge der Systemenkalküls I
- Grundzüge des Systemenkalküls II
- Partially Ordered Sets
- Der Aussagenkalkül und die Topologie
- On absolute properties of relations
- Proofs of non-deducibility in intuitionistic functional calculus
- On the representation of 𝜎-complete Boolean algebras
- The completeness of the first-order functional calculus
- Are Variables Necessary in Calculus
- On Universals
- Some theorems about the sentential calculi of Lewis and Heyting
- What is Cantor's Continuum Problem?
- Completeness in the theory of types
- A proof of the completeness theorem of Grödel
- Steps toward a constructive nominalism
- An algebraic characterization of quantifiers
- Algebraic Treatment of the Functional Calculi of Heyting and Lewis
- A proof of the Skolem-Löwenheim Theorem
- On the Completeness of Quantification Theory
- Some Interconnections Between Modern Algebra and Mathematical Logic
- Algebraic treatment of the notion of satisfiability
- The Ideas of Variable and Function
- On the categoricity in power of elementary deductive systems and some related problems
- On existential theorems in non-classical functional calculi
- A generalization of the concept of ω-consistency
- An application of logic to algebra
- On the number of complete extensions of the Lewis systems of sentential calculus
- A Functional calculus of first order based on strict implication
- Modalities and Quantification
- On weakened quantification
- Recursive Predicates and Quantifiers
- A formal theorem in Church's theory of types
- Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item