From logics of formal inconsistency to logics of formal classicality

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


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.



    Upload a copy of this work     Papers currently archived: 91,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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

16 (#789,512)

6 months
3 (#503,027)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.

View all 21 references / Add more references