Pages that link to "Item:Q504691"
From MaRDI portal
The following pages link to Classical logic and quantum logic with multiple and common lattice models (Q504691):
Displaying 7 items.
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Classical foundations of quantum logic (Q1174417) (← links)
- Quantum logic for quantum computers (Q1586478) (← links)
- Standard Logics Are Valuation-Nonmonotonic (Q3549317) (← links)
- Propositional counter-factual definiteness and the EPR paradox (Q5379377) (← links)
- Many-valued Logics in Classical and Quantum Gates (Q5463277) (← links)
- Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions (Q6590075) (← links)