• DocumentCode
    1660995
  • Title

    Half true [half-negation operator]

  • Author

    Di Nola, Antonio

  • Author_Institution
    Dept. of Math. & Informatics, Univ. of Salerno, Baronissi, Italy
  • Volume
    2
  • fYear
    2002
  • fDate
    6/24/1905 12:00:00 AM
  • Firstpage
    1354
  • Lastpage
    1356
  • Abstract
    We enrich the three valued Lukasiewicz logic, L3, endowing it with an additional unary connective ×. We obtain a logic, D2-logic, in which the × operator can be interpreted as an asymmetric negation. We show the completeness of D2-logic and study its algebraic models
  • Keywords
    fuzzy logic; fuzzy set theory; ternary logic; D2-logic; algebraic models; asymmetric negation; completeness; half-negation operator; half-truth; three valued Lukasiewicz logic; truth-value interpretation; unary connective; Boolean algebra; Calculus; Informatics; Large scale integration; Logic functions; Mathematics; Optical fiber communication; Protection;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on
  • Conference_Location
    Honolulu, HI
  • Print_ISBN
    0-7803-7280-8
  • Type

    conf

  • DOI
    10.1109/FUZZ.2002.1006701
  • Filename
    1006701
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1660995