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

DOI10.1016/j.fss.2010.11.011zbMath1229.03027MaRDI QIDQ549345

Martin Dyba, Vilém Novák

Publication date: 15 July 2011

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

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

zbMATH Keywords

residuated lattice; mathematical fuzzy logic; fuzzy equality; EQ-algebra

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B50: Many-valued logic

Related Items

State pseudo equality algebras, Equality Logic, Internal states on equality algebras, Basic substructural core fuzzy logics and their extensions: mianorm-based logics, Monadic pseudo-equality algebras, Non-commutative first-order EQ-logics, Commutative pseudo-equality algebras, Some sets of indistinguishability operators as multiresolution families, The lattice of prefilters of an EQ-algebra, Asymmetric equivalences in fuzzy logic, From Classical to Fuzzy Type Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational propositional logic
• Short note: on the redundancy of axiom (A3) in BL and MTL
• Representable good EQ-algebras
• EQ-algebras
• Leibniz's syllogistico-propositional calculus
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the independence of axioms in BL and MTL
• Formal systems of fuzzy logic and their fragments
• Living in a bubble? Toward a unified bubble theory
• A theory of prepositional types