Pages that link to "Item:Q2851801"
From MaRDI portal
The following pages link to Extending classical logic for reasoning about quantum systems (Q2851801):
Displaying 5 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Importing logics (Q694499) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)