Extensions of Priest-da Costa Logic

Studia Logica 102 (1):145-174 (2014)
Download Edit this record How to cite View on PhilPapers
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
ISBN(s)
PhilPapers/Archive ID
FEREOP
Upload history
Archival date: 2014-04-26
View other versions
Added to PP index
2013-03-17

Total views
234 ( #20,145 of 52,866 )

Recent downloads (6 months)
13 ( #38,355 of 52,866 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.