Quasi-subtractive varieties
From MaRDI portal
Publication:3107353
DOI10.2178/jsl/1318338848zbMath1254.03119OpenAlexW2077831547MaRDI QIDQ3107353
Tomasz Kowalski, Francesco Paoli, Matthew Spinks
Publication date: 23 December 2011
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1318338848
Related Items (11)
The representation of square root quasi-pseudo-MV algebras ⋮ Boolean-like algebras ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Lattice-theoretic properties of algebras of logic ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Quasi-discriminator varieties ⋮ Ideals and congruences in quasi-pseudo-MV algebras ⋮ Quantum computational algebra with a non-commutative generalization ⋮ On certain quasivarieties of quasi-MV algebras ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Joins and subdirect products of varieties
- On normal and regular identities
- Ideals in universal algebras
- Constructive logic with strong negation is a substructural logic. I
- Constructive logic with strong negation is a substructural logic. II
- Topology and duality in modal logic
- On some second-order rigidity conditions for analytic surfaces
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties II: General properties
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- A survey of abstract algebraic logic
- Quasivarieties of logic, regularity conditions and parameterized algebraization
- Generalized MV-algebras
- Products of classes of residuated structures
- Normally presented varieties
- On subtractive varieties. IV: Definability of principal ideals
- Representable pseudo-interior algebras
- MV-algebras and quantum computation
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Algebraizable logics
- Logics Which Are Characterized by Subresiduated Lattices
- Basic Propositional Calculus I
- Joins and Direct Products of Equational Classes
This page was built for publication: Quasi-subtractive varieties