INCLUSION CRITERIA
An entry belongs in this subdivision if and only if quantum structure individuates the logic: its propositions, states, or processes obey the non-classical algebra of quantum theory, or it is a calculus for reasoning about quantum computation and information.
Required: At least one of the following:
- A non-distributive or orthomodular lattice of propositions, or an effect algebra
- A logic or program calculus for quantum computation, information, or correctness
- A diagrammatic or process-theoretic calculus of quantum systems (ZX, process theories)
Not sufficient: A classical logic merely applied to a physical example. Generic many-valued semantics without quantum structure (Algebraic/Many-Valued).
Boundary: Orthomodular quantum logic is cross-listed with Algebraic/Orthomodular (non-classical propositional semantics). Quantum program and Hoare logics are cross-listed with Applications/Verification. ZX calculus and quantum process theories are cross-listed with Metatheory/Categorical.