Dualising Intuitionictic Negation
One of Da Costa's motives when he constructed the paraconsistent logic Cw was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task. A logic is defined by taking the Kripke semantics for intuitionistic logic, and dualising the truth co...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2009-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/13779 |