|
|||||
|
|
Paraconsistent Metatheory: New Proofs with Old Tools |
|
| Authors: | Badia Guillermo Weber Zach Girard Patrick |
| Institution: | 1.School of Historical and Philosophical Inquiry, University of Queensland, Brisbane, Australia ;2.Philosophy, University of Otago, Dunedin, New Zealand ;3.Philosophy, University of Auckland, Auckland, New Zealand ; |
| Abstract: | Journal of Philosophical Logic - This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |