Pages that link to "Item:Q1075324"
From MaRDI portal
The following pages link to Connections among quantum logics. I: Quantum propositional logics (Q1075324):
Displaying 18 items.
- Effect algebras and unsharp quantum logics. (Q541810) (← links)
- Partial and unsharp quantum logics. (Q541832) (← links)
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Higher-order quantum logics (Q685157) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Connections among quantum logics. II: Quantum event logics (Q1075325) (← links)
- Quantum logics and Lindenbaum property (Q1096629) (← links)
- Constructive approach to logics of physical systems: Application to EPR case (Q1173854) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Filters and supports in orthoalgebras (Q1200425) (← links)
- Representations of empirical set theories (Q1330094) (← links)
- The logics of orthoalgebras (Q1896751) (← links)
- Quantum MV algebras (Q1919984) (← links)
- The structure group of a non-degenerate effect algebra (Q2182566) (← links)
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach (Q2506098) (← links)
- An anhomomorphic logic for quantum mechanics (Q5305077) (← links)
- A Presentation of Quantum Logic Based on an and then Connective (Q5450568) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)