A Criticism of Kripke’s Semantic for Intuitionistic Logic
This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the semantics. The fragment of propositional intu...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)
2016-12-01
|
| Series: | O Que Nos Faz Pensar |
| Online Access: | http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/519 |