Quantum logic in intuitionistic perspective

DOI10.1023/A:1015106515413zbMath0999.03058arXivmath/0011208OpenAlexW1575413252MaRDI QIDQ1604802

Bob Coecke

Publication date: 8 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0011208

zbMATH Keywords

closure operatorinjective hullscomplete Heyting algebraorthocomplemented lattice

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (8)

The canonical topology on a meet-semilattice ⋮ Bohrification of operator algebras and quantum logic ⋮ Weakly intuitionistic quantum logic ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ The complete Heyting algebra of subsystems and contextuality ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Topos Quantum Logic and Mixed States

This page was built for publication: Quantum logic in intuitionistic perspective