• DocumentCode
    1750755
  • Title

    T-norm based residuated logics-some recent results

  • Author

    Gottwald, Siegfried

  • Author_Institution
    Inst. for Logic & Philos. of Sci., Leipzig Univ., Germany
  • Volume
    1
  • fYear
    2001
  • fDate
    25-28 July 2001
  • Firstpage
    149
  • Abstract
    In the intertwined fields of many-valued and fuzzy logic recent years have seen interesting and important developments related to the topic of infinite valued systems which are essentially based on given triangular norms. For adequate axiomatizations of such logics, algebraic semantics have reached central importance. The paper surveys some of the core approaches and results of these developments
  • Keywords
    fuzzy logic; multivalued logic; T-norm based residuated logic; algebraic semantics; binary operation; fuzzy logic; infinite valued systems; many-valued logic; triangular norms; Boolean algebra; Cost accounting; Fuzzy logic; Lattices; Logic design; Logic functions; Multivalued logic; Upper bound;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    IFSA World Congress and 20th NAFIPS International Conference, 2001. Joint 9th
  • Conference_Location
    Vancouver, BC
  • Print_ISBN
    0-7803-7078-3
  • Type

    conf

  • DOI
    10.1109/NAFIPS.2001.944243
  • Filename
    944243