论文信息 - On witnessed models in fuzzy logic

On witnessed models in fuzzy logic

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)

Petr Hájek | P. Hájek

[1] P. Mostert,et al. On the Structure of Semigroups on a Compact Manifold With Boundary , 1957 .

[2] Franco Montagna. Three Complexity Problems in Quantified Fuzzy Logic , 2001, Stud Logica.

[3] Franco Montagna,et al. Hoops and Fuzzy Logic , 2003, J. Log. Comput..

[4] Petr Hájek,et al. Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[5] Petr Hájek. Arithmetical complexity of fuzzy predicate logics – a survey , 2005, Soft Comput..

[6] Franco Montagna,et al. On the predicate logics of continuous t-norm BL-algebras , 2005, Arch. Math. Log..

[7] Vítezslav Svejdar,et al. On interplay of quantifiers in Gödel-Dummett fuzzy logics , 2006, Arch. Math. Log..

[8] Petr Hájek,et al. On theories and models in fuzzy predicate logics , 2006, Journal of Symbolic Logic.