Completeness of Predicate Gentzen Calculus with Respect to Intuitionistic Kripke Semantics
Completeness of Predicate Gentzen Calculus with Respect to Intuitionistic Kripke Semantics
Author(s): Eva KolovratníkováSubject(s): Philosophy
Published by: Univerzita Karlova v Praze, Nakladatelství Karolinum
Keywords: completeness; Gentzen calculus; intuitionistic predicate logic; tree proof; saturated sequent
Summary/Abstract: This paper deals with intuitionistic logic and completeness of Gentzen calculus with respect to its semantics. We present a rather simple proof for the case where the language is at most countable but may contain function symbols.
Journal: Acta Universitatis Carolinae Philosophica et Historica
- Issue Year: IX/2010
- Issue No: 2
- Page Range: 53-59
- Page Count: 7
- Language: English
