Abstract
We establish analogy of the Eilenberg–Schützenberger pseudovariety theorem in the setting of algebras with fuzzy equalities and Pavelka-style semantics using complete residuated lattices as structures of truth degrees. We show that under the assumption of countable reconstructibility, classes of finite algebras with fuzzy equalities closed under formations of subalgebras, homomorphic images, and finite direct products, are classes of finite algebras with fuzzy equalities which satisfy all but finitely many identities taken from fuzzy sets of identities which serve as graded equational theories. We also show that the assumption of countable reconstructibility is satisfied by model classes if one uses complete residuated lattices based on left-continuous triangular norms as structures of truth degrees.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
