• DocumentCode
    401856
  • Title

    Tautologies in some lattice-valued logic systems

  • Author

    Li, Hai-ming ; Qin, Ke-yun ; Xu, Yang

  • Author_Institution
    Dept. of Comput., Tangshan Normal Coll., Hebei, China
  • Volume
    4
  • fYear
    2003
  • fDate
    2-5 Nov. 2003
  • Firstpage
    2563
  • Abstract
    In this paper, the tautologies in some lattice-valued logic systems whose truth-values fields are lattices are formed by direct product of two lattice implication algebras, α-tautologies and F-tautologies are also discussed. As two examples, the tautologies in lattice-valued systems of L4P (X) and L6P (X) are discussed.
  • Keywords
    computational complexity; fuzzy logic; logic design; process algebra; α-tautologies; F-tautologies; lattice implication algebras; lattice-valued logic systems; truth-values fields; Algebra; Automatic control; Circuit synthesis; Control systems; Databases; Educational institutions; Knowledge representation; Lattices; Logic functions; Multivalued logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Machine Learning and Cybernetics, 2003 International Conference on
  • Print_ISBN
    0-7803-8131-9
  • Type

    conf

  • DOI
    10.1109/ICMLC.2003.1259947
  • Filename
    1259947
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=401856