Extensions of Priest-da Costa Logic |
| |
Authors: | Thomas Macaulay Ferguson |
| |
Institution: | 1. City University of New York Graduate Center, 365 Fifth Avenue, New York, NY, USA
|
| |
Abstract: | In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|