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