DocumentCode :
2053570
Title :
Cut-Down Operations on Bilattices
Author :
Ferguson, Thomas Macaulay
Author_Institution :
Grad. Center, CUNY, New York, NY, USA
fYear :
2015
fDate :
18-20 May 2015
Firstpage :
24
Lastpage :
29
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on
Conference_Location :
Waterloo, ON
ISSN :
0195-623X
Type :
conf
DOI :
10.1109/ISMVL.2015.14
Filename :
7238127
Link To Document :
بازگشت