Normality operators and Classical Recapture in Extensions of Kleene Logics

Download Edit this record How to cite View on PhilPapers
In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness.
PhilPapers/Archive ID
Upload history
Archival date: 2018-10-28
View other versions
Added to PP index

Total views
53 ( #44,628 of 53,583 )

Recent downloads (6 months)
12 ( #40,858 of 53,583 )

How can I increase my downloads?

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