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
Abstract
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
ECOPLW
Upload history
First archival date: 2020-05-26
Latest version: 2 (2020-05-26)
View other versions
Added to PP index
2020-05-26

Total views
45 ( #47,825 of 54,632 )

Recent downloads (6 months)
32 ( #22,576 of 54,632 )

How can I increase my downloads?

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