EQ-algebras

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

Vilém Novák, Bernard De Baets

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

Unnamed Item, EQ-Modules, Equality Logic, Electric and Magnetic Forces between Sphere and Wire, Internal states on equality algebras, On good EQ-algebras, Reasoning about mathematical fuzzy logic and its future, Uniform topology on EQ-algebras, 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, Monadic pseudo-equality algebras, Pointed semi-quantales and lattice-valued topological spaces, Representable good EQ-algebras, A theory of composites modeled as interpenetrating solid continua, Involutive equality algebras, Generalized state maps and states on pseudo equality algebras, Non-commutative first-order EQ-logics, EQ-algebras based on hyper EQ-algebras, EQ-algebras with internal states, Equality algebras, The lattice of prefilters of an EQ-algebra, Continuous triangular norm based fuzzy topology, Stabilizers in EQ-algebras, Results on equality algebras, EQ-algebras based on fuzzy hyper EQ-filters, Finite direct products of EQ-algebras, Subtypes in fuzzy type theory, EQ-algebras from the point of view of generalized algebras with fuzzy equalities, Pseudo equality algebras: revision, States on EQ-algebras, Theory of the electromagnetic field about an antenna, according to the gap model, From Classical to Fuzzy Type Theory

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