Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
From MaRDI portal
Publication:3575300
DOI10.2168/LMCS-6(2:1)2010zbMath1198.03082MaRDI QIDQ3575300
Publication date: 27 July 2010
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Categorical logic, topoi (03G30) Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12)
Related Items
\(L\)-algebras and three main non-classical logics, Daggers, kernels, Baer *-semigroups, and orthomodularity, Dagger categories of tame relations, Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories, Compositional Quantum Logic, A computer scientist’s reconstruction of quantum theory*, Quantum monadic algebras