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 :
بازگشت