Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi DOI:10.5007/1808-1711.2010v14n1p125
Andréa Loparić · Principia an international journal of epistemology · 2011
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.