Quasi-discriminator varieties
From MaRDI portal
Publication:5170143
DOI10.1142/S0218196714500179zbMath1335.08004OpenAlexW2131715804MaRDI QIDQ5170143
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
Publication date: 18 July 2014
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196714500179
Lattices of varieties (08B15) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05)
Related Items (4)
Cites Work
- Unnamed Item
- Unnamed Item
- Classical exchange algebras in the Wess-Zumino-Witten model
- Boolean-like algebras
- Equational characterization for two-valued states in orthomodular quantum systems
- Joins and subdirect products of varieties
- On the structure of varieties with equationally definable principal congruences. II
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive logic with strong negation is a substructural logic. I
- Constructive logic with strong negation is a substructural logic. II
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Uniform congruence schemes
- Varieties with equationally definable principal congruences
- Para primal algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On subtractive varieties II: General properties
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of varieties with equationally definable principal congruences. I
- Equational characterization of the quaternary discriminator
- Varieties in which the Pierce stalks are directly indecomposable
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- MV-algebras and quantum computation
- The ternary discriminator function in universal algebra
- Representations by algebras of sections over Boolean spaces
- Generalized ``Boolean theory of universal algebras. I. Subdirect sums and normal representation theorem
- Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
- Quasi-subtractive varieties
- Representable idempotent commutative residuated lattices
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Constructive Logic with Strong Negation as a Substructural Logic
- Applying Universal Algebra to Lambda Calculus
- Logics Which Are Characterized by Subresiduated Lattices
- Joins and Direct Products of Equational Classes
- The subquasivariety lattice of a discriminator variety
- Ideals and the binary discriminator in universal algebra
This page was built for publication: Quasi-discriminator varieties
