A categorical equivalence for bounded distributive quasi lattices satisfying: x 0=0 x=0.

DOI10.2478/S12175-014-0262-2MaRDI QIDQ2931349zbMATH OpenOpenAlexFDO

Authors H. Freytes, Antonio Ledda

Publication date 25 November 2014

Published in Mathematica Slovaca (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/s12175-014-0262-2

zbMATH Keywords

Priestley dualitybounded distributive quasilatticesPriestley sheaves

Mathematics Subject Classification ID

MV-algebras (06D35) Ordered topological structures (06F30) Generalizations of ordered sets (06A75) Preorders, orders, domains and lattices (viewed as categories) (18B35) Other generalizations of distributive lattices (06D75)

Recommendations

• scientific article; zbMATH DE number 1158122
• Quasiorders and sublattices of distributive lattices
• Completion and amalgamation of bounded distributive quasi lattices
• Generalized Priestley quasi-orders
• Quantifiers on distributive lattices

Cites work

• Categories of semigroups in quantum computational structures
• DUALITY OF NORMALLY PRESENTED VARIETIES
• Generalized Priestley quasi-orders
• LOGICS FROM QUANTUM COMPUTATION
• Normally presented varieties
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• Quantum computational logic
• Remarks on Priestley duality for distributive lattices
• Varieties of complex algebras

Cited in

(1)

• Completion and amalgamation of bounded distributive quasi lattices

This page was built for publication: A categorical equivalence for bounded distributive quasi lattices satisfying: \(x\lor 0=0\implies x=0\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2931349)