AUC PHILOSOPHICA ET HISTORICA
AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.
The journal is indexed in CEEOL, DOAJ, and EBSCO.
AUC PHILOSOPHICA ET HISTORICA, Vol 2010 No 2 (2010), 53–59
Completeness of Predicate Gentzen Calculus with Respect to Intuitionistic Kripke Semantics
Eva Kolovratníková
published online: 18. 05. 2015
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.
keywords: completeness; Gentzen calculus; intuitionistic predicate logic; tree proof; saturated sequent
periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055
