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

DOI10.1016/j.fss.2010.11.011zbMath1229.03027OpenAlexW2153535779MaRDI 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 latticemathematical fuzzy logicfuzzy equalityEQ-algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items (11)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: EQ-logics: non-commutative fuzzy logics based on fuzzy equality