Factor varieties
From MaRDI portal
Publication:1701682
DOI10.1007/s00500-015-1828-9zbMath1420.08003OpenAlexW2911856895MaRDI QIDQ1701682
Antonio Ledda, Francesco Paoli, Antonino Salibra
Publication date: 27 February 2018
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10278/3661318
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean-like algebras
- Equational characterization for two-valued states in orthomodular quantum systems
- Residuated lattices. An algebraic glimpse at substructural logics
- Varieties of modular ortholattices
- Skew lattices in rings
- Varieties of ordered algebras
- Metamathematics of fuzzy logic
- On the structure of varieties with equationally definable principal congruences. III
- Algebraic foundations of many-valued reasoning
- Equational characterization of the quaternary discriminator
- Skew Boolean algebras and discriminator varieties
- Recent developments in the theory of skew lattices
- Varieties in which the Pierce stalks are directly indecomposable
- The connection of skew Boolean algebras and discriminator varieties to Church algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Representations by algebras of sections over Boolean spaces
- Upper bounds on the sizes of finitely generated algebras
- Representable idempotent commutative residuated lattices
- Constructive Logic with Strong Negation as a Substructural Logic
- From λ-Calculus to Universal Algebra and Back
- First-order definability in modal logic
- Quasi-discriminator varieties
- Ideals and the binary discriminator in universal algebra
