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...
| Главный автор: | |
|---|---|
| Формат: | Статья |
| Язык: | English |
| Опубликовано: |
Universidade Federal de Santa Catarina
2010-04-01
|
| Серии: | Principia: An International Journal of Epistemology |
| Предметы: | |
| Online-ссылка: | http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985 |