Henkin on Completeness

DOI10.1007/978-3-319-09719-0_12zbMath1347.03003OpenAlexW22234975MaRDI QIDQ3454811

María Manzano

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_12

zbMATH Keywords

interpolationcompletenessfirst-order logictruthprovabilityequalitytype theorypropositional type theoryHerbrandHenkinCraig

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items (1)

Changing a Semantics: Opportunism or Courage?

Cites Work

• Unnamed Item
• Some notes on nominalism
• Alonzo church:his life, his work and some of his miracles
• The Discovery of My Completeness Proofs
• Completeness: from Gödel to Henkin
• A theory of prepositional types
• A reduction of the axioms for the theory of prepositional types
• An extension of the Craig-Lyndon interpolation theorem
• Logic based on inclusion and abstraction
• A formulation of the simple theory of types
• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Banishing the rule of substitution for functional variables

This page was built for publication: Henkin on Completeness