Abstract
Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of ‘default classicality’. With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such ‘default classicality’ is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference27 articles.
1. Ripley D. (2011). Conservatively extending classical logic with transparent truth. To appear. Presented at a 2010 meeting of the Melbourne Logic Group.
2. Laws of Non-Contradiction, Laws of the Excluded Middle, and Logics *
3. Baaz M. , Fermüller C. G. , & Zach R. (1993a). Dual systems of sequents and tableaux for many-valued logics. Technical Report TUW-E185.2-BFZ.2–92.
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献