The following pages link to (Q3717046):
Displaying 4 items.
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Connections among quantum logics. I: Quantum propositional logics (Q1075324) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)