Pages that link to "Item:Q676184"
From MaRDI portal
The following pages link to A double deduction system for quantum logic based on natural deduction (Q676184):
Displaying 4 items.
- Toward a more natural expression of quantum logic with Boolean fractions (Q815023) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)