AUC Philosophica et Historica je víceoborový akademický časopis zaměřený na humanitní a společenskovědné obory (filozofie, psychologie, pedagogika, sociologie, obecné, české a hospodářské dějiny, pomocné vědy historické a archivnictví, etnologie).
Časopis je indexován v databázích CEEOL, DOAJ a 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á
zveřejněno: 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.
klíčová slova: completeness; Gentzen calculus; intuitionistic predicate logic; tree proof; saturated sequent
vychází: 2 x ročně
ISSN: 0567-8293
E-ISSN: 2464-7055
