Satisfiability in fuzzy logics
| Author(s) : | Mirko Navara, |
| Publisher : | N/A |
| Publication Date : | 2000 |
| ISSN : | N/A |
| Abstract : | The notion of validation set of a formula in a fuzzy logic was introduced by Butnariu, Klement and Zafrany. It is the set of all evaluations of the formula for all possible evaluations of its atomic symbols. We generalize this notion to sets of formulas. This enables us to formulate and prove generalized theorems on satisfiability and compactness of various fuzzy logics. We also propose and study new types of satisfiability and consistency degree of a set of formulas., |