Principia: An International Journal of Epistemology (Apr 2010)
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
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.