Pages that link to "Item:Q2825364"
From MaRDI portal
The following pages link to Topos quantum logic and mixed states (Q2825364):
Displaying 9 items.
- Characterization of quantum states in predicative logic (Q429954) (← links)
- Topologies on pure quantum states (Q1964934) (← links)
- Spectral presheaves as quantum state spaces (Q2955786) (← links)
- Topos-based logic for quantum systems and bi-Heyting algebras (Q3179086) (← links)
- (Q3614629) (← links)
- (Q4729782) (← links)
- Quantum computational logic with mixed states (Q4915217) (← links)
- A topos perspective on state-vector reduction (Q5920656) (← links)
- The Primacy of the Classical? Saul Kripke Meets Niels Bohr (Q6488418) (← links)