Orthomodular Lattice

A theory of computation based on quantum logic (I)
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum logic was proposed by Birkhoff and …
引用 DOI URL