On good EQ-algebras

DOI10.1016/j.fss.2011.05.011zbMath1242.03089OpenAlexW2112440330MaRDI QIDQ409738

Radko Mesiar, Moataz El-Zekey, Vilém Novák

Publication date: 13 April 2012

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

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

zbMATH Keywords

fuzzy logicBCK-algebraresiduated latticeEQ-algebrasfuzzy equalityrepresentable algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (26)

$n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras ⋮ Integral prefilters and integral EQ-algebras ⋮ State theory on bounded hyper EQ-algebras ⋮ Internal states on equality algebras ⋮ On the Category of EQ-algebras ⋮ States on EQ-algebras ⋮ On bounded residuated \(\ell\)EQ-algebras ⋮ New kinds of hybrid filters of EQ-algebras ⋮ Non-commutative first-order EQ-logics ⋮ \(n\)-Fold Filters of EQ-Algebras ⋮ EQ-Modules ⋮ Equality Logic ⋮ EQ-algebras based on hyper EQ-algebras ⋮ Uniform topology on EQ-algebras ⋮ Elements of model theory in higher-order fuzzy logic ⋮ The lattice of prefilters of an EQ-algebra ⋮ Stabilizers in EQ-algebras ⋮ EQ-algebras with internal states ⋮ Residuated EQ-algebras may not be residuated lattices ⋮ Results on equality algebras ⋮ EQ-algebras based on fuzzy hyper EQ-filters ⋮ Finite direct products of EQ-algebras ⋮ Subtypes in fuzzy type theory ⋮ The spectra and reticulation of EQ-algebras ⋮ Preideals in EQ-algebras ⋮ EQ-algebras from the point of view of generalized algebras with fuzzy equalities

Uses Software

• ETPS

Cites Work

• Observations on non-commutative fuzzy logic
• On fuzzy type theory
• A characterization of fuzzy implications generated by generalized quantifiers
• The logic of tied implications. II. Syntax
• Residuated lattices. An algebraic glimpse at substructural logics
• On copulas, quasicopulas and fuzzy logic
• Representable good EQ-algebras
• EQ-algebras
• Every BCK-algebra is a set of residuables in an integral pomonoid
• Leibniz's syllogistico-propositional calculus
• Metamathematics of fuzzy logic
• Representable biresiduated lattices
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Non-commutative fuzzy structures and pairs of weak negations.
• Triangular norms
• Lattices and ordered algebraic structures
• Associatively tied implications.
• An introduction to mathematical logic and type theory: To truth through proof.
• Propositional calculus under adjointness
• Contrapositive symmetry of fuzzy implications
• Conjunctors and their residual implicators: characterizations and construction methods
• The logic of tied implications. I: Properties, applications and representation
• Weakly implicative (fuzzy) logics. I: Basic properties
• Issues on adjointness in multiple-valued logics
• EQ-algebra-based fuzzy type theory and its extensions
• A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
• Bounded BCK-algebras and their generated variety
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Logics without the contraction rule
• Fuzzy Logics with Noncommutative Conjuctions
• Pseudo-t-norms and pseudo-BL algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On good EQ-algebras