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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-10-03

Total views
17 ( #34,779 of 37,210 )

Recent downloads (6 months)
17 ( #19,323 of 37,210 )

How can I increase my downloads?

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