Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

• Autores: Andréa Loparic
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 14, Nº. 1 (Abril), 2010, págs. 125-133
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)
• Resumen

  • 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 de?nitions yields decision methods for these calculi.