[null, {"document_url": "https://link.springer.com/article/10.1007%2Fs00153-005-0303-1", "unformatted_src": "https://media.springernature.com/w306/springer-static/cover/journal/153/45/2.jpg", "src": "https://media.springernature.com/w306/springer-static/cover/journal/153/45/2.jpg"}, null]


Archive for Mathematical Logic 
February 2006, Volume 45, Issue 2, pp 149–177 | Cite as

Fuzzy Horn logic II



The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.

Key words or phrases

Fuzzy logic Equational Logic Horn logic Implication Degree of provability








Bělohlávek, R. & Vychodil, V. Arch. Math. Logic (2006) 45: 149. https://doi.org/10.1007/s00153-005-0303-1





