A characterization of nuclei in orthomodular and quantic lattices
From MaRDI portal
Publication:1176707
DOI10.1016/0022-4049(91)90109-FzbMath0738.06012MaRDI QIDQ1176707
Publication date: 25 June 1992
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
06B23: Complete lattices, completions
06C15: Complemented lattices, orthocomplemented lattices and posets
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Quantales and their sheaves
- Modal operators on Heyting algebras
- Quantic lattices
- Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
- Constructing locales from quantales
- Quantum logic as an implication algebra
- Aspects of topoi