Paracomplete logics which are dual to the paraconsistent logics L3A and L3B

LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning (2020)
  Copy   BIBTEX


In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ). In that paper the author analyzes, among the three-valued logics, which of these logics satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above mentioned are: |- φ, ¬φ, and ¬(ψ ∨ ¬ψ) |- . We call genuine paracomplete logics those rejecting the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics.



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

Combining Valuations with Society Semantics.Víctor L. Fernández & Marcelo E. Coniglio - 2003 - Journal of Applied Non-Classical Logics 13 (1):21-46.
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Four-Valued Paradefinite Logics.Ofer Arieli & Arnon Avron - 2017 - Studia Logica 105 (6):1087-1122.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
Hybridized Paracomplete and Paraconsistent Logics.Colin Caret - 2017 - Australasian Journal of Logic 14 (1):281-325.


Added to PP

287 (#71,749)

6 months
65 (#74,960)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcelo E. Coniglio
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.

View all 7 references / Add more references