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