Abstract
Implications between identities have been widely studied in universal algebra. There are numerous results on implicationally defined classes of algebras and provability of implications from theories in form of implications. A survey on implications in the context of universal algebra can be found in monograph [97]. In this chapter, we suggest a generalization of the concept of an implication between identities in fuzzy setting and show that the results on (classical) Horn logic have their analogies in fuzzy setting. As in Chap. 3, we develop our logical calculus in Pavelka style.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
About this chapter
Cite this chapter
Bělohlávek, R., Vychodil, V. Fuzzy Horn Logic. In: Fuzzy Equational Logic. Studies in Fuzziness and Soft Computing, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11376422_4
Download citation
DOI: https://doi.org/10.1007/11376422_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26254-1
Online ISBN: 978-3-540-32406-5
eBook Packages: EngineeringEngineering (R0)