The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w. r. t. semantics over the unit interval [0, 1] with
✦ LIBER ✦
Fuzzy Horn logic I
✍ Scribed by Radim Bělohlávek; Vilém Vychodil
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Weight
- 482 KB
- Volume
- 45
- Category
- Article
- ISSN
- 0933-5846
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Continuous fuzzy Horn logic
✍
Vilém Vychodil
📂
Article
📅
2006
🏛
John Wiley and Sons
🌐
English
⚖ 220 KB
Fuzzy Horn logic II
✍
Radim Bělohlávek; Vilém Vychodil
📂
Article
📅
2005
🏛
Springer
🌐
English
⚖ 368 KB
Fuzzy quantum logic I
✍
Jarosław Pykacz
📂
Article
📅
1993
🏛
Springer
🌐
English
⚖ 985 KB
👁 1 views
Expressive reasoning with horn rules and
✍
Theofilos Mailis; Giorgos Stoilos; Giorgos Stamou
📂
Article
📅
2010
🏛
Springer-Verlag
🌐
English
⚖ 699 KB
Fuzzy Logic
✍
McCarthy, Erin
📂
Fiction
📅
0
🌐
English
⚖ 43 KB
Elements of intuitionistic fuzzy logic.
✍
Krassimir Atanassov; George Gargov
📂
Article
📅
1998
🏛
Elsevier Science
🌐
English
⚖ 645 KB
The definition of the notion of intuitionistic fuzzy set is the basis for defining intuitionistic fuzzy logics of different kinds. In this paper, we construct two versions of intuitionistic fuzzy propositional calculus (IFPC) and a version of intuitionistic fuzzy predicate logic (IFPL).