## 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
Fuzzy logic models in a category of fuzzy relations
✍ Scribed by Jiří Močkoř
- Publisher
- Springer
- Year
- 2008
- Tongue
- English
- Weight
- 146 KB
- Volume
- 13
- Category
- Article
- ISSN
- 1432-7643
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## 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
A new definition of Fuzzy Relational Database is given by using logical concepts. With this definition it is possible to consider several kinds of fuzziness for the database attributes. A Domain Calculus-based query language is also established for the model. It allows us to formulate several types
Fuzzy relation is a crucial connector in presenting fuzzy time series model. However, how to obtain a fuzzy relation matrix to represent a time-invaxiant relation is still a question. Based on the concept of fuzziness in Information Theory, the concept of entropy is applied to measure the degrees of