• 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