𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On witnessed models in fuzzy logic II

✍ Scribed by Petr Hájek

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
104 KB
Volume
53
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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. This result is used to prove that the set of witnessed standard 1‐tautologies of the predicate product logic is Π~2~‐hard. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

On witnessed models in fuzzy logic
On witnessed models in fuzzy logic
✍ Petr Hájek 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

## 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 f

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

On antonym and negate in fuzzy logic
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

On contra-symmetry and MPT conditionalit
On contra-symmetry and MPT conditionality in fuzzy logic
✍ E. Trillas; C. Alsina; E. Renedo; A. Pradera 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 136 KB

This article deals with the N-contrapositive symmetry of fuzzy implication operators J verifying either Modus Ponens or Modus Tollens inequalities, in a similar and complementary framework to the one in which Fodor ("Contrapositive symmetry of fuzzy implications." Fuzzy Set Syst 1995;69:141-156) did