Abstract
EQ-algebra is an algebra with three binary operations (meet, product, fuzzy equality) and a top element that has been introduced in [13] as an algebra of truth values for the fuzzy type theory (a higher-order fuzzy logic). Recall that till now, truth values in fuzzy type theory have been supposed to form either of IMTL, BL, MV or ŁΠ-algebra that are special residuated lattices. However, since fuzzy equality is a derived operation in residuated lattice, it is not so natural for fuzzy type theory as the EQ-algebra. In this paper, we continue the research of EQ-algebras. Namely, we have modified some axioms, show further properties of them and outline the filter theory.
Sign-in/Register to access full text options 
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.
