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

DOI10.1016/J.FSS.2010.11.011MaRDI QIDQ549345zbMATHOpenAlexFDO

Authors M. 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

mathematical fuzzy logicresiduated latticefuzzy equalityEQ-algebra

Mathematics Subject Classification ID

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

Recommendations

• EQ-logics with delta connective
• Non-commutative first-order EQ-logics
• Fuzzy equational logic
• On EQ-fuzzy logics with delta connective
• EQ-algebras

Cites work

• scientific article; zbMATH DE number 5306054 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• A theory of prepositional types
• EQ-algebras
• Equational propositional logic
• Formal systems of fuzzy logic and their fragments
• Leibniz's syllogistico-propositional calculus
• Living in a bubble? Toward a unified bubble theory
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the independence of axioms in BL and MTL
• Representable good EQ-algebras
• Short note: on the redundancy of axiom (A3) in BL and MTL

Cited in

(14)

• Equality logic
• Commutative pseudo-equality algebras
• Internal states on equality algebras
• Observations on non-commutative fuzzy logic
• Monadic pseudo-equality algebras
• From classical to fuzzy type theory
• Non-commutative first-order EQ-logics
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• On EQ-fuzzy logics with delta connective
• State pseudo-equality algebras
• The lattice of prefilters of an EQ-algebra
• Asymmetric equivalences in fuzzy logic
• Some sets of indistinguishability operators as multiresolution families
• Equality propositional logic and its extensions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549345)