An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

Download Edit this record How to cite View on PhilPapers
This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations.
No keywords specified (fix it)
PhilPapers/Archive ID
Upload history
Archival date: 2018-08-16
View other versions
Added to PP index

Total views
423 ( #17,760 of 69,208 )

Recent downloads (6 months)
42 ( #19,660 of 69,208 )

How can I increase my downloads?

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