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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Upload history
First archival date: 2020-05-26
Latest version: 2 (2020-05-26)
View other versions
Added to PP index

Total views
122 ( #45,900 of 69,006 )

Recent downloads (6 months)
30 ( #27,775 of 69,006 )

How can I increase my downloads?

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