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
This page was built for publication: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
