Pages that link to "Item:Q2084572"
From MaRDI portal
The following pages link to Natural deduction for quantum logic (Q2084572):
Displaying 5 items.
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
- Natural Quantum Operational Semantics with Predicates (Q5324519) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)