Pages that link to "Item:Q5450568"
From MaRDI portal
The following pages link to A Presentation of Quantum Logic Based on an and then Connective (Q5450568):
Displaying 7 items.
- Quantum logic in dagger kernel categories (Q981683) (← links)
- Similarity-projection structures: The logical geometry of quantum physics (Q1013755) (← links)
- Quantum logic as a fragment of independence-friendly logic (Q1610617) (← links)
- Logical connectives on lattice effect algebras (Q1935557) (← links)
- Quantum logic in dagger kernel categories (Q2825365) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)