Logic Journal of the IGPL 28 (5):684-711 (2020)

One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos. The characteristic notion in these systems is the so-called consistency operator which, roughly speaking, indicates how gluts are behaving. One natural question then is to ask if we can let not only gluts but also gaps be around and generalize the notion of consistency into classicality. This is already considered by Andréa Loparić and da Costa in the style of C-systems. The aim of this paper is to develop a family of systems that generalizes the system of Loparić and da Costa which may be called logics of formal classicality.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzy056
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,856
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
What If? The Exploration of an Idea.Graham Priest - 2017 - Australasian Journal of Logic 14 (1).

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Two-Valued Weak Kleene Logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
On Discourses Addressed by Infidel Logicians.Walter Carnielli & Marcelo E. Coniglio - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 27--41.
Combining Algebraizable Logics.Á E. Eiben, A. Jánossy & Á Kurucz - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.


Added to PP index

Total views
5 ( #1,129,867 of 2,401,730 )

Recent downloads (6 months)
2 ( #361,744 of 2,401,730 )

How can I increase my downloads?


My notes