Publication:989677

DOI10.1007/S00500-009-0491-4zbMATH Open1201.03061OpenAlexW2083525574MaRDI QIDQ989677FDOQ989677

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) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Lattices and ordered algebraic structures
• THE STRUCTURE OF RESIDUATED LATTICES
• On Some Varieties of MTL-algebras
• On fuzzy type theory
• Bounded BCK-algebras and their generated variety
• Hoops and Fuzzy Logic
• EQ-algebras
• Every BCK-algebra is a set of residuables in an integral pomonoid
• Leibniz's syllogistico-propositional calculus
• Representable biresiduated lattices
• Linearization of the BCK-logic
• Logics without the contraction rule
• Fuzzy Logics with Noncommutative Conjuctions
• Subdirect products of totally ordered BCK-algebras

Cited In (28)

• Integral prefilters and integral EQ-algebras
• EQ-algebras based on fuzzy hyper EQ-filters
• The spectra and reticulation of EQ-algebras
• Preideals in EQ-algebras
• $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras
• Finite direct products of EQ-algebras
• Stabilizers in EQ-algebras
• Equality Logic
• Reasoning about mathematical fuzzy logic and its future
• On the Category of EQ-algebras
• Non-commutative first-order EQ-logics
• EQ-algebras from the point of view of generalized algebras with fuzzy equalities
• Implication and production graphs on EQ-algebras
• EQ-algebras based on hyper EQ-algebras
• Results on equality algebras
• EQ-algebras with internal states
• Ideal theory on EQ-algebras
• Residuated EQ-algebras may not be residuated lattices
• States on EQ-algebras
• Prelinear algebras in relatively regular quasivarieties
• Subtypes in fuzzy type theory
• On bounded residuated \(\ell\)EQ-algebras
• \(n\)-Fold Filters of EQ-Algebras
• On good EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Folding theory applied to fuzzy (positive) implicative (pre)filters in EQ-algebras
• The lattice of prefilters of an EQ-algebra
• New kinds of hybrid filters of EQ-algebras

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

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