Pages that link to "Item:Q2979435"
From MaRDI portal
The following pages link to An implicational logic for orthomodular lattices (Q2979435):
Displaying 10 items.
- Systems of quantum logic (Q361857) (← links)
- A double deduction system for quantum logic based on natural deduction (Q676184) (← links)
- Quantum and classical implication algebras with primitive implications (Q1303419) (← links)
- Simple axioms for orthomodular implication algebras (Q1768659) (← links)
- Orthomodular lattice obtained from addressing a fixed point (Q1808259) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- An implication in orthologic (Q2505957) (← links)
- A schematic extension of IMTL-logic algebras (Q2927177) (← links)
- The axioms for implication in orthologic (Q3625736) (← links)
- Orthomodular implication algebras (Q5955524) (← links)