On witnessed models in fuzzy logic |
| |
Authors: | Petr Hájek |
| |
Affiliation: | Institute of Computer Science, Academy of Sciences of the Czech Republic, 182 07 Prague, Czech Republic |
| |
Abstract: | Witnessed models of fuzzy predicate logic are models in which each quantified formula is witnessed, i.e. the truth value of a universally quantified formula is the minimum of the values of its instances and similarly for existential quantification (maximum). Systematic theory of known fuzzy logics endowed with this semantics is developed with special attention paid to problems of arithmetical complexity of sets of tautologies and of satisfiable formulas. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | Mathematical fuzzy logic witnessed models completeness arithmetical complexity |
|
|