Representable good EQ-algebras

DOI10.1007/S00500-009-0491-4zbMath1201.03061OpenAlexW2083525574MaRDI QIDQ989677

Moataz El-Zekey

Publication date: 23 August 2010

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-009-0491-4

zbMATH Keywords

fuzzy logicBCK-algebrafuzzy equalityrepresentable algebrasEQ-algebracommutative residuated latticeprelinearity

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 ⋮ Prelinear algebras in relatively regular quasivarieties ⋮ Ideal theory on EQ-algebras ⋮ On the Category of EQ-algebras ⋮ States on EQ-algebras ⋮ On bounded residuated \(\ell\)EQ-algebras ⋮ On good EQ-algebras ⋮ New kinds of hybrid filters of EQ-algebras ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Non-commutative first-order EQ-logics ⋮ \(n\)-Fold Filters of EQ-Algebras ⋮ Equality Logic ⋮ EQ-algebras based on hyper EQ-algebras ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy type theory
• EQ-algebras
• Subdirect products of totally ordered BCK-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
• Linearization of the BCK-logic
• Lattices and ordered algebraic structures
• THE STRUCTURE OF RESIDUATED LATTICES
• A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
• Bounded BCK-algebras and their generated variety
• Logics without the contraction rule
• Fuzzy Logics with Noncommutative Conjuctions
• Hoops and Fuzzy Logic
• On Some Varieties of MTL-algebras

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