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

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)