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