Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Show other versions (1)

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 yie...

Full description

Bibliographic Details
Main Author: Andréa Loparić
Format: Article
Language:English
Published: Universidade Federal de Santa Catarina 2010-04-01
Series:Principia: An International Journal of Epistemology
Subjects:
Intuitionism
minimal calculus
valuation semantics
valuation tables
Online Access:http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985

Similar Items

Similar Items