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!
|