EQ-logics: Non-commutative fuzzy logics based on fuzzy equality

This publication has 9 references indexed in Scilit:

• EQ-algebra-based fuzzy type theory and its extensions
  Logic Journal of the IGPL, 2010
• EQ-algebras
  Fuzzy Sets and Systems, 2009
• Representable good EQ-algebras
  Soft Computing, 2009
• Formal systems of fuzzy logic and their fragments
  Annals of Pure and Applied Logic, 2007
• Short note: on the redundancy of axiom (A3) in BL and MTL
  Soft Computing, 2005
• Monoidal t-norm based logictowards a logic for left-continuous t-norms
  Fuzzy Sets and Systems, 2001
• Equational propositional logic
  Information Processing Letters, 1995
• A theory of prepositional types
  Fundamenta Mathematicae, 1963
• The Foundations of Mathematics
  Proceedings of the London Mathematical Society, 1926