Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
Vol 14, No 1 (2010) • Principia: an international journal of epistemology
Autor: Andréa Lopari?
Abstract:
In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi.
ISSN: 1414-4217
DOI: DOI:10.5007/1808-1711.2010v14n1p125
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985
Palavras-Chave: Intuitionism; minimal calculus; valuation sem
Principia: an international journal of epistemology
!["PRINCIPIA]("http://anpof.org/portal/images/portal_periodicos_eletronicos_2017/PRINCIPIA-CABECALHO.jpg")
"Principia: an international journal of epistemology" was founded in 1997 and regularly publishes articles, discussions and review. The journal aims to publish original scholarly work especially in epistemology area , with an emphasis on material of general interest to academic philosophers. Originally published only in print version (ISSN: 1414-4247), in 2005 the journal began to be published also in online version (ISSN: 1808-1711). Since 1999 are published three issues per year: in April, August and December. Qualis CAPES: A2