Track-Down Operations on Bilattices

In Robert Wille & Martin Lukac (eds.), Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic. Los Alamitos, California, EE. UU.: pp. 74-79 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde.
PhilPapers/Archive ID
SZMTOO
Revision history
Archival date: 2018-10-03
View upload history
References found in this work BETA
Logics of Nonsense and Parry Systems.Ferguson, Thomas Macaulay
Reasoning with Logical Bilattices.Arieli, Ofer & Avron, Arnon
Many-Valued Logic.Gottwald, Siegfried

Add more references

Citations of this work BETA

Add more citations

Added to PP index
2018-10-03

Total views
51 ( #31,927 of 40,626 )

Recent downloads (6 months)
35 ( #16,697 of 40,626 )

How can I increase my downloads?

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