Leon Henkin the reviewer

DOI10.1007/978-3-319-09719-0_10zbMATH Open1331.01025OpenAlexW2104507155MaRDI QIDQ3454809FDOQ3454809

Authors: Concha Martínez Vidal, José Pedro Ubeda Rives 

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

Recommendations

• Visions of Henkin
• Henkin on completeness
• Tracing back ``logic in wonderland to my work with Leon Henkin
• scientific article; zbMATH DE number 2003401
• The Discovery of My Completeness Proofs

zbMATH Keywords

type theoryalgebraic logicmetalogicmathematical educationLeon Henkinreviewslogic systemsphilosophy of logic and mathematics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• In Memoriam: Leon Albert Henkin 1921–2006
• A Euclidean Construction?
• Title not available (Why is that?)
• Alonzo Church and the Reviews
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Ideas of Variable and Function
• Title not available (Why is that?)
• Title not available (Why is that?)
• An application of logic to algebra
• Title not available (Why is that?)
• Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
• Title not available (Why is that?)
• Cylindric algebras. Part II
• Logic and the modalities in the twentieth century
• Title not available (Why is that?)
• The completeness of the first-order functional calculus
• Title not available (Why is that?)
• A Functional calculus of first order based on strict implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representable cylindric algebras
• On closed elements in closure algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lattices With Involution
• Some theorems about the sentential calculi of Lewis and Heyting
• A proof of the completeness theorem of Grödel
• Solution of a problem of Leon Henkin
• Title not available (Why is that?)
• Completeness in the theory of types
• Title not available (Why is that?)
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• The algebra of topology
• 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 II)
• Title not available (Why is that?)
• Modalities and Quantification
• Der Aussagenkalkül und die Topologie
• Title not available (Why is that?)
• Partially Ordered Sets
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• On the representation of 𝜎-complete Boolean algebras
• The foundations of mathematics. A study in the philosophy of science
• On the definition of ‘formal deduction’
• Title not available (Why is that?)
• A formal theorem in Church's theory of types
• Proofs of non-deducibility in intuitionistic functional calculus
• A theory of prepositional types
• Title not available (Why is that?)
• Recursive Predicates and Quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Discovery of My Completeness Proofs
• On Universals
• What is Cantor's Continuum Problem?
• Some notes on nominalism
• Title not available (Why is that?)
• Title not available (Why is that?)
• On Mathematical Induction
• An extension of the Craig-Lyndon interpolation theorem
• Steps toward a constructive nominalism
• The Logic of Equality
• Title not available (Why is that?)
• On the categoricity in power of elementary deductive systems and some related problems
• The representation of relational algebras
• Title not available (Why is that?)
• Grundzüge des Systemenkalküls II
• Title not available (Why is that?)
• 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
• The algebraic treatment of the methodology of elementary deductive systems
• Grundzüge der Systemenkalküls I
• Title not available (Why is that?)
• A proof of the Skolem-Löwenheim Theorem
• On existential theorems in non-classical functional calculi
• A generalization of the concept of ω-consistency
• Completeness of the functional calculus of first order
• Title not available (Why is that?)
• On the metamathematics of algebra
• Algebraic treatment of the notion of satisfiability
• An algebraic characterization of quantifiers
• Some Interconnections Between Modern Algebra and Mathematical Logic
• Title not available (Why is that?)
• Relativization of cylindric algebras
• Title not available (Why is that?)
• Are Variables Necessary in Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• A generalization of the concept ofω-completeness
• Title not available (Why is that?)
• On weakened quantification
• Title not available (Why is that?)
• On absolute properties of relations
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• Les algèbres cylindriques
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the number of complete extensions of the Lewis systems of sentential calculus
• Are Logic and Mathematics Identical?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Completeness of Quantification Theory
• Title not available (Why is that?)
• Structures algébriques suggérées par la logique mathématique

Cited In (5)

• Alonzo Church and the Reviews
• Derrick Henry Lehmer
• Tracing back ``logic in wonderland to my work with Leon Henkin
• Pairing logical and pedagogical foundations for the theory of positive rational numbers -- Henkin's unfinished work
• Visions of Henkin

This page was built for publication: Leon Henkin the reviewer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454809)