Continuous fuzzy Horn logic
✍
Vilém Vychodil
📂
Article
📅
2006
🏛
John Wiley and Sons
🌐
English
⚖ 220 KB
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