Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik

DOI10.1007/BF01991851zbMath0233.02020OpenAlexW2322393613MaRDI QIDQ5641136

Dieter Klemke

Publication date: 1971

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137856

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Related Items (5)

2000 Annual Meeting of the Association for Symbolic Logic ⋮ Intuitionistic axiomatizations for bounded extension Kripke models. ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ Completeness theorems for some intermediate predicate calculi ⋮ Failure of Interpolation in Constant Domain Intuitionistic Logic

Cites Work

• A Henkin completeness theorem for T
• On the strong semantical completeness of the intuitionistic predicate calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik