The following pages link to (Q4703142):
Displaying 8 items.
- Binary quantum logic and generating semigroups (Q584260) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- Binary logic is rich enough (Q1184053) (← links)
- Quantum logic and linear logic (Q1330093) (← links)
- Advanced Kripke frame for quantum logic (Q1799288) (← links)
- Kripke-style semantics of orthomodular logics (Q2743648) (← links)
- Modal-type orthomodular logic (Q3632528) (← links)
- Semigroups based on \(L\)-valued logic and its ideals (Q5929901) (← links)