The following pages link to (Q2851799):
Displaying 4 items.
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690) (← links)
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
