Dualising Intuitionistic Negation
One of Da Costa’s motives when he constructed the paraconsistent logic C! 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 conditi...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2009-08-01
|
| Series: | Principia: An International Journal of Epistemology |
| Subjects: | |
| Online Access: | http://www.periodicos.ufsc.br/index.php/principia/article/view/13779/12629 |