Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik
From MaRDI portal
Publication:5641136
DOI10.1007/BF01991851zbMath0233.02020MaRDI QIDQ5641136
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
03C35: Categoricity and completeness of theories
Related Items
2000 Annual Meeting of the Association for Symbolic Logic, 1999 European Summer Meeting of the Association for Symbolic Logic, Completeness theorems for some intermediate predicate calculi, Intuitionistic axiomatizations for bounded extension Kripke models., Failure of Interpolation in Constant Domain Intuitionistic Logic
Cites Work