Skip to main content
SpringerLink
Log in

Extensions of Priest-da Costa Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Anderson, A. R., and N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. I, Princeton UP, Princeton, 1975.

  2. Carnielli W., Brunner B.M.: Anti-Intuitionism and Paraconsistency. Journal of Applied Logic 3(1), 161–184 (2005)

    Article  Google Scholar 

  3. Carnielli, W., M. E. Coniglio, and J. Marcos, Logics of formal inconsistency, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 14, Springer, Berlin, 2007, pp. 15–107.

  4. Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Clarendon Press, Oxford, 1997.

  5. Hasuo I., Kashima R.: Kripke completeness of first-order constructive logics with strong negation. Logic Journal of the IGPL 11(6), 615–646 (2003)

    Article  Google Scholar 

  6. Kracht M.: On extensions of intermediate logics by strong negation. Journal of Philosophical Logic 27(1), 49–73 (1998)

    Article  Google Scholar 

  7. Łukowski P.: Modal interpretation of Heyting–Brouwer logic. Bulletin of the Section of Logic 25(2), 80–83 (1996)

    Google Scholar 

  8. McKinsey J. C. C., Tarski A.: Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic 13(1), 1–15 (1948)

    Article  Google Scholar 

  9. Meyer R.K., Routley R.: Classical relevant logics. I. Studia Logica 32(1), 51–68 (1973)

    Article  Google Scholar 

  10. Nelson D.: Constructible falsity. The Journal of Symbolic Logic 14(1), 16–26 (1949)

    Article  Google Scholar 

  11. Priest G.: Dualising intuitionistic negation. Principia 13(2), 165–184 (2009)

    Article  Google Scholar 

  12. Priest G.: First-order da Costa Logic. Studia Logica 97(1), 183–198 (2011)

    Article  Google Scholar 

  13. Rauszer C.: Semi-Boolean algebras and their application to intuitionistic logic with dual operations. Fundamenta Mathematicae 83(1), 219–249 (1974)

    Google Scholar 

  14. Rauszer C.: Applications of Kripke models to Heyting–Brouwer logic. Studia Logica 36(1/2), 61–71 (1977)

    Article  Google Scholar 

  15. Wansing, H., Proofs, disproofs, and their duals, in C. Areces and R. Goldblatt (eds.), Advances in Modal Logic, vol. 7, College Publications, London, 2008, pp. 483–505.

Download references

Author information

Authors and Affiliations

  1. City University of New York Graduate Center, 365 Fifth Avenue, New York, NY, USA

    Thomas Macaulay Ferguson

Authors
  1. Thomas Macaulay Ferguson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas Macaulay Ferguson.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ferguson, T.M. Extensions of Priest-da Costa Logic. Stud Logica 102, 145–174 (2014). https://doi.org/10.1007/s11225-013-9469-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9469-4

Keywords

Search

Navigation