|
|||||
|
|
Relating Intuitionist Negation and Triviality |
|
| Authors: | Sanz Wagner de Campos |
| Affiliation: | Department of Philosophy, UNiversidade Federal de Goiás, Campus II Samambaia, Goiânia, GO, Brazil. E-mail: sanz{at}fchf.ufg.br |
| Abstract: | |
| Keywords: | negation introduction rule natural deduction intuitionism ex falso quodlibet |
| 本文献已被 Oxford 等数据库收录！ | |