Title :
Cut-Down Operations on Bilattices
Author :
Ferguson, Thomas Macaulay
Author_Institution :
Grad. Center, CUNY, New York, NY, USA
Abstract :
In this paper, Melvin Fitting\´s notion of a "cut-down" operation on a bilattice is considered. It is shown that the logic of cut-down operations on bilattices is equivalent to Harry Deutsch\´s four-valued Sfde, demonstrating that Sfde is as intimately connected to the theory of bilattices as is the Dunn-Belnap logic Efde. The paper concludes by observing that the "not ¬" operation of Carlos Damásio and Luís Pereira serves as a cut-down in Fitting\´s sense and that the logic of Damásio-Pereira cut-down operations on the bilattice NINE is equivalent to Richard Angell\´s AC.
Keywords :
formal logic; lattice theory; set theory; Dunn-Belnap Efde logic; bilattices; cut-down operations; four-valued Sfde logic; not - operation; Cognition; Complexity theory; Cost accounting; Electronic mail; Fitting; Lattices; Semantics; Bilattices; Cut-down operations; Multiple-valued logic;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on
Conference_Location :
Waterloo, ON
DOI :
10.1109/ISMVL.2015.14