Abstract.
Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established.
Article PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 15 March 2000 / Revised version: 20 September 2000 Published online: 12 December 2001
Rights and permissions
About this article
Cite this article
Bělohlávek, R. Fuzzy equational logic. Arch. Math. Logic 41, 83–90 (2002). https://doi.org/10.1007/s001530200006
Issue Date:
DOI: https://doi.org/10.1007/s001530200006