Abstract | ||
---|---|---|
This paper presents an inquiry into a proof system for a logic based on four Belnapian truth values, in which any truth value but the pure falsehood is designated. To this effect, I first implement a certain dualization of what Font terms 'Belnap's logic', and then show how it can be suitably extended. The resulting systems are of the FMLA-SET type dually to the standard formulation of Belnap's logic and the Exactly True Logic by Pietz and Rivieccio. I restate some philosophical motivation for the entailment relation of the FMLA-SET type by briefly comparing it with the usual SET-FMLA logical systems. |
Year | Venue | DocType |
---|---|---|
2019 | JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS | Journal |
Volume | Issue | ISSN |
6 | SP2 | 2055-3706 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yaroslav Shramko | 1 | 1 | 1.05 |