Pages that link to "Item:Q3625736"
From MaRDI portal
The following pages link to The axioms for implication in orthologic (Q3625736):
Displaying 5 items.
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- Nice implicational axioms (Q1844202) (← links)
- Natural deduction for quantum logic (Q2084572) (← links)
- An implication in orthologic (Q2505957) (← links)
- Zusammenhang zwischen der Theorie <i>F</i> der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von <i>F</i> (Q5202658) (← links)