EQ-algebras from the point of view of generalized algebras with fuzzy equalities

DOI10.1016/j.fss.2013.06.003zbMath1315.03126OpenAlexW2090698824MaRDI QIDQ2351584

Bao Qing Hu, Zhen Ming Ma

Publication date: 24 June 2015

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.06.003

zbMATH Keywords

residuated latticefuzzy equalityEQ-algebrahigher-order fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Uses Software

• ETPS

Cites Work

• On good EQ-algebras
• On fuzzy type theory
• Algebras with fuzzy equalities
• Representable good EQ-algebras
• EQ-algebras
• Quotients with respect to similarity relations
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On equivalent forms of fuzzy logic systems NM and IMTL
• An introduction to mathematical logic and type theory: To truth through proof.
• On the fundamentals of fuzzy set theory
• EQ-algebra-based fuzzy type theory and its extensions
• A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
• Fuzzy equational logic
• Unnamed Item
• Unnamed Item

This page was built for publication: EQ-algebras from the point of view of generalized algebras with fuzzy equalities