Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-04-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985 |