Recommendations
- Representable good EQ-algebras
- On the variety of equality algebras
- On hyper EQ-algebras
- Ideal theory on EQ-algebras
- EQ-algebras
- scientific article; zbMATH DE number 4066986
- On the Category of EQ-algebras
- Filter theory on good hyper EQ-algebras
- scientific article; zbMATH DE number 2120412
- EQ-algebras based on hyper EQ-algebras
Cites work
- scientific article; zbMATH DE number 5306054 (Why is no real title available?)
- scientific article; zbMATH DE number 3931080 (Why is no real title available?)
- scientific article; zbMATH DE number 4035833 (Why is no real title available?)
- scientific article; zbMATH DE number 3677835 (Why is no real title available?)
- scientific article; zbMATH DE number 3747112 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3598466 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 1960700 (Why is no real title available?)
- scientific article; zbMATH DE number 1902541 (Why is no real title available?)
- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 2209491 (Why is no real title available?)
- A SIMILARITY-BASED GENERALIZATION OF FUZZY ORDERINGS PRESERVING THE CLASSICAL AXIOMS
- A characterization of fuzzy implications generated by generalized quantifiers
- A treatise on many-valued logics
- An introduction to mathematical logic and type theory: To truth through proof.
- Associatively tied implications.
- Bounded BCK-algebras and their generated variety
- Conjunctors and their residual implicators: characterizations and construction methods
- Contrapositive symmetry of fuzzy implications
- EQ-algebra-based fuzzy type theory and its extensions
- EQ-algebras
- Every BCK-algebra is a set of residuables in an integral pomonoid
- Fuzzy Logics with Noncommutative Conjuctions
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Issues on adjointness in multiple-valued logics
- Lattices and ordered algebraic structures
- Leibniz's syllogistico-propositional calculus
- Logics without the contraction rule
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Non-commutative fuzzy structures and pairs of weak negations.
- Observations on non-commutative fuzzy logic
- On copulas, quasicopulas and fuzzy logic
- On fuzzy type theory
- Propositional calculus under adjointness
- Pseudo-t-norms and pseudo-BL algebras
- Representable biresiduated lattices
- Representable good EQ-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- The logic of tied implications. I: Properties, applications and representation
- The logic of tied implications. II. Syntax
- Triangular norms
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(39)- EQ-algebras from the point of view of generalized algebras with fuzzy equalities
- Boolean center of lattice ordered EQ-algebras with bottom element
- Equality logic
- EQ-algebras based on hyper EQ-algebras
- Residuated EQ-algebras may not be residuated lattices
- EQ-Modules
- Internal states on equality algebras
- Folding theory applied to fuzzy (positive) implicative (pre)filters in EQ-algebras
- Subtypes in fuzzy type theory
- Non-commutative first-order EQ-logics
- EQ-algebras with internal states
- Integral prefilters and integral EQ-algebras
- EQ-algebras based on fuzzy hyper EQ-filters
- \(n\)-Fold Filters of EQ-Algebras
- Implication and production graphs on EQ-algebras
- Some properties of \(\ell\)EQ-algebras
- State theory on bounded hyper EQ-algebras
- Finite direct products of EQ-algebras
- The spectra and reticulation of EQ-algebras
- Representable good EQ-algebras
- Preideals in EQ-algebras
- On EQ-fuzzy logics with delta connective
- On the Category of EQ-algebras
- scientific article; zbMATH DE number 2010118 (Why is no real title available?)
- Implicative and positive implicative prefilters of EQ-algebras
- Results on equality algebras
- The lattice of prefilters of an EQ-algebra
- States on EQ-algebras
- Elements of model theory in higher-order fuzzy logic
- Kernel operators on EQ-algebras
- Isomorphisms in EQ-algebras
- On bounded residuated \(\ell\)EQ-algebras
- The \(L\)-fuzzy filters and EQ-congruences in EQ-algebras
- \(n\)-fold obstinate and \(n\)-fold fantastic (pre)filters of EQ-algebras
- Uniform topology on EQ-algebras
- EQ-algebras
- Some types of filters in equality algebras
- Stabilizers in EQ-algebras
- New kinds of hybrid filters of EQ-algebras
This page was built for publication: On good EQ-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409738)
