EQ-algebras

DOI10.1016/j.fss.2009.04.010zbMath1184.03067MaRDI QIDQ1043290

Bernard De Baets, Vilém Novák

Publication date: 7 December 2009

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

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

zbMATH Keywords

fuzzy logic; residuated lattice; fuzzy type theory; fuzzy equality; EQ-algebra; higher-order fuzzy logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03G25: Other algebras related to logic

Related Items

Electric and Magnetic Forces between Sphere and Wire, On good EQ-algebras, Reasoning about mathematical fuzzy logic and its future, EQ-logics: non-commutative fuzzy logics based on fuzzy equality, On fuzzy filters of pseudo BL-algebras, Elements of model theory in higher-order fuzzy logic, Pointed semi-quantales and lattice-valued topological spaces, Representable good EQ-algebras, A theory of composites modeled as interpenetrating solid continua, Equality algebras, Theory of the electromagnetic field about an antenna, according to the gap model

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy type theory
• Residuated lattices. An algebraic glimpse at substructural logics
• Fuzzy sets and sheaves. I: Basic concepts
• Quotients with respect to similarity relations
• Leibniz's syllogistico-propositional calculus
• Equivalential algebras. II: Independence
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics
• Lattices and ordered algebraic structures
• Algebraic foundations of many-valued reasoning
• An introduction to mathematical logic and type theory: To truth through proof.
• Equivalential algebras. I: Representation
• Formal systems of fuzzy logic and their fragments
• What is mathematical fuzzy logic
• Which logic is the real fuzzy logic?
• The logic of inexact concepts
• Living in a bubble? Toward a unified bubble theory
• A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
• Bounded BCK-algebras and their generated variety
• On Fuzzy Logic I Many‐valued rules of inference
• Fuzzy Logics with Noncommutative Conjuctions
• A theory of prepositional types
• Free spectra of linear equivalential algebras
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics