✦ LIBER ✦

On witnessed models in fuzzy logic

✍ Scribed by Petr Hájek

Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 185 KB
Volume: 53
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200610027

No coin nor oath required. For personal study only.

✦ Synopsis

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)

📜 SIMILAR VOLUMES

On witnessed models in fuzzy logic II

✍ Petr Hájek 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

## Abstract First the expansion of the Łukasiewicz (propositional and predicate) logic by the unary connectives of dividing by any natural number (Rational Łukasiewicz logic) is studied; it is shown that in the predicate case the expansion is conservative w.r.t. witnessed standard 1‐tautologies. Th

On witnessed models in fuzzy logic III –

On witnessed models in fuzzy logic III – witnessed Gödel logics

✍ Petr Häjek 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB

Gödel (fuzzy) logics with truth sets being countable closed subsets of the unit real interval containing 0 and 1 are studied under their usual semantics and under the witnessed semantics, the latter admitting only models in which the truth value of each universally quantified formula is the minimum

Fuzzy values in fuzzy logic

✍ L. Godo; J. Jacas; L. Valverde 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB

One of the main features of Fuzzy Logic is its capability to deal with the concept of compatibility between two propositions, in such a way that the inference process modeled through the Compositional Rule of Inference is independent from the particular possibility distributions involved. It is in t

On n -contractive fuzzy logics

✍ Rostislav Horčík; Carles Noguera; Milan Petrík 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 285 KB

## Abstract It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL‐chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since

On antonym and negate in fuzzy logic

✍ Adolfo R. de Soto; Enric Trillas 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 88 KB

´The abilities to speak well and to conceptualize seem to be closely linked. It has been maintained that the human brain has a preference for binary oppositions or polarities. The notions of antonym and negate are examples of polarity between the pairs of predicates P y no P, P y ant P. Other charac

Incorporating qualitative knowledge in e

Incorporating qualitative knowledge in enzyme kinetic models using fuzzy logic

✍ Bogju Lee; John Yen; Linyu Yang; James C. Liao 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

Modeling of metabolic pathway dynamics requires detailed kinetic equations at the enzyme level. In particular, the kinetic equations must account for metabolite effectors that contribute significantly to the pathway regulation in vivo. Unfortunately, most kinetic rate laws available in the literatur