The following pages link to (Q4864496):
Displayed 8 items.
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- A dynamic-logical perspective on quantum behavior (Q941738) (← links)
- Linear structure, evolutions and phases (Q1372488) (← links)
- Closure categories (Q1388175) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Compositional Quantum Logic (Q4922071) (← links)