• Title of article

    Compactness of fuzzy logics

  • Author/Authors

    Cintula، Petr نويسنده , , Navara، Mirko نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2004
  • Pages
    -58
  • From page
    59
  • To page
    0
  • Abstract
    Compactness is an important property of classical logic. It states that simultaneous satisfiability of an infinite set of formulas is equivalent to the satisfiability of all its finite subsets. In fuzzy logics, we have different degrees of satisfiability, hence the questions of compactness become more complicated. Here we give an overview of the recent results on compactness and we extend them to various fuzzy logics.
  • Keywords
    Satisfiability , Fuzzy logic , Compactness of a logic , Many-valued logic , Triangular norm
  • Journal title
    FUZZY SETS AND SYSTEMS
  • Serial Year
    2004
  • Journal title
    FUZZY SETS AND SYSTEMS
  • Record number

    118110

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=118110