✦ LIBER ✦

On standard models of fuzzy modal logics

✍ Scribed by Ying Ming-Sheng

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 549 KB
Volume: 26
Category: Article
ISSN: 0165-0114
DOI: 10.1016/0165-0114(88)90128-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A sequential formulation of a logic base

A sequential formulation of a logic based on fuzzy modalities

✍ Osamu Morikawa 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Towards a reconciliation of fuzzy logic

Towards a reconciliation of fuzzy logic and standard logic

✍ John Fox 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 496 KB

Haack (1979) has questioned the need for fuzzy logic on methodological and linguistic grounds. However: three possible roles for fuzzy logic should be distinguished; as a requisite apparatus--because the world poses fuzzy problems; as a prescriptive apparatus-the only proper calculus for the mani

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 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 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 the Completeness of Chronological Log

On the Completeness of Chronological Logics with Modal Operators

✍ Hirokazu Nishimura 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 471 KB 👁 1 views