Pages that link to "Item:Q1325670"
From MaRDI portal
The following pages link to Probabilistic forcing in quantum logics (Q1325670):
Displaying 5 items.
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- Quantum Probabilistic Dyadic Second-Order Logic (Q2849423) (← links)
- Orthologic, forcing, and the manifestation of attributes (Q3346311) (← links)