A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
From MaRDI portal
Publication:2931349
DOI10.2478/s12175-014-0262-2zbMath1341.06017OpenAlexW2037218448MaRDI QIDQ2931349
Publication date: 25 November 2014
Published in: Mathematica Slovaca (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/s12175-014-0262-2
MV-algebras (06D35) Ordered topological structures (06F30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Generalizations of ordered sets (06A75) Other generalizations of distributive lattices (06D75)
Cites Work
- Generalized Priestley quasi-orders
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Remarks on Priestley duality for distributive lattices
- Quantum computational logic
- Normally presented varieties
- Varieties of complex algebras
- Categories of semigroups in quantum computational structures
- DUALITY OF NORMALLY PRESENTED VARIETIES
- LOGICS FROM QUANTUM COMPUTATION
This page was built for publication: A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0