Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Authors

  • Andréa Loparić Departamento de Filosofia, Universidade de São Paulo São Paulo, SP

DOI:

https://doi.org/10.5007/1808-1711.2010v14n1p125

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.

Published

2010-01-05

Issue

Section

Articles