Academic Journals Database
Disseminating quality controlled scientific knowledge

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Author(s): Andréa Loparić

Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247

Volume: 14;
Issue: 1;
Start page: 125;
Date: 2010;
Original page

Keywords: Intuitionism | minimal calculus | valuation semantics | valuation tables

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.
Affiliate Program      Why do you need a reservation system?