Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
Apresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Joh...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19667 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Apresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Johansson). Provamos a correção e a completude dessas valorações com respeito aos respectivos cálculos e, em seguida, apresentamos algoritmos de geração das tabelas dessas valorações, algoritmos que se constituem, assim, em métodos alternativos de decisão para os esses cálculos. |
|---|---|
| ISSN: | 1808-1711 |