Representable good EQ-algebras
From MaRDI portal
Publication:989677
DOI10.1007/S00500-009-0491-4zbMath1201.03061OpenAlexW2083525574MaRDI QIDQ989677
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
fuzzy logicBCK-algebrafuzzy equalityrepresentable algebrasEQ-algebracommutative residuated latticeprelinearity
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