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

type theory algebraic logic metalogic mathematical education Leon Henkin reviews logic systems philosophy 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)

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

Cites Work

scientific article; zbMATH DE number 3114378 (Why is no real title available?)
scientific article; zbMATH DE number 3122413 (Why is no real title available?)
scientific article; zbMATH DE number 3120839 (Why is no real title available?)
scientific article; zbMATH DE number 3123147 (Why is no real title available?)
scientific article; zbMATH DE number 3134289 (Why is no real title available?)
scientific article; zbMATH DE number 3138525 (Why is no real title available?)
scientific article; zbMATH DE number 3139743 (Why is no real title available?)
scientific article; zbMATH DE number 3142900 (Why is no real title available?)
scientific article; zbMATH DE number 3153136 (Why is no real title available?)
scientific article; zbMATH DE number 3164639 (Why is no real title available?)
scientific article; zbMATH DE number 3171131 (Why is no real title available?)
scientific article; zbMATH DE number 3171967 (Why is no real title available?)
scientific article; zbMATH DE number 3455165 (Why is no real title available?)
scientific article; zbMATH DE number 3480582 (Why is no real title available?)
scientific article; zbMATH DE number 1852925 (Why is no real title available?)
scientific article; zbMATH DE number 799855 (Why is no real title available?)
scientific article; zbMATH DE number 3237794 (Why is no real title available?)
scientific article; zbMATH DE number 3239491 (Why is no real title available?)
scientific article; zbMATH DE number 3248820 (Why is no real title available?)
scientific article; zbMATH DE number 3263218 (Why is no real title available?)
scientific article; zbMATH DE number 3269002 (Why is no real title available?)
scientific article; zbMATH DE number 3269848 (Why is no real title available?)
scientific article; zbMATH DE number 3273143 (Why is no real title available?)
scientific article; zbMATH DE number 3291106 (Why is no real title available?)
scientific article; zbMATH DE number 3339390 (Why is no real title available?)
scientific article; zbMATH DE number 3195513 (Why is no real title available?)
scientific article; zbMATH DE number 3196255 (Why is no real title available?)
scientific article; zbMATH DE number 3196257 (Why is no real title available?)
scientific article; zbMATH DE number 3042947 (Why is no real title available?)
scientific article; zbMATH DE number 3052792 (Why is no real title available?)
scientific article; zbMATH DE number 3052793 (Why is no real title available?)
scientific article; zbMATH DE number 3053259 (Why is no real title available?)
scientific article; zbMATH DE number 3055928 (Why is no real title available?)
scientific article; zbMATH DE number 3062896 (Why is no real title available?)
scientific article; zbMATH DE number 3062913 (Why is no real title available?)
scientific article; zbMATH DE number 3062915 (Why is no real title available?)
scientific article; zbMATH DE number 3067654 (Why is no real title available?)
scientific article; zbMATH DE number 3068536 (Why is no real title available?)
scientific article; zbMATH DE number 3069864 (Why is no real title available?)
scientific article; zbMATH DE number 3076636 (Why is no real title available?)
scientific article; zbMATH DE number 3077150 (Why is no real title available?)
scientific article; zbMATH DE number 3079564 (Why is no real title available?)
scientific article; zbMATH DE number 3079565 (Why is no real title available?)
scientific article; zbMATH DE number 3084368 (Why is no real title available?)
scientific article; zbMATH DE number 3082689 (Why is no real title available?)
scientific article; zbMATH DE number 3085792 (Why is no real title available?)
scientific article; zbMATH DE number 3086346 (Why is no real title available?)
scientific article; zbMATH DE number 3090153 (Why is no real title available?)
scientific article; zbMATH DE number 3090961 (Why is no real title available?)
scientific article; zbMATH DE number 3091016 (Why is no real title available?)
scientific article; zbMATH DE number 3093421 (Why is no real title available?)
scientific article; zbMATH DE number 3095816 (Why is no real title available?)
scientific article; zbMATH DE number 3103212 (Why is no real title available?)
scientific article; zbMATH DE number 3111916 (Why is no real title available?)
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)