Pages that link to "Item:Q495836"

The following pages link to Duality for the logic of quantum actions (Q495836):

Displaying 4 items.

• Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices (Q682665) (← links)
• Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
• On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
• (Q5215500) (← links)