Pages that link to "Item:Q877820"
From MaRDI portal
The following pages link to Axiomatizing the skew Boolean propositional calculus (Q877820):
Displaying 7 items.
- Categorical skew lattices (Q382883) (← links)
- Cancellation in skew lattices (Q633218) (← links)
- Residuated skew lattices (Q2198201) (← links)
- Distributivity in skew lattices (Q2634958) (← links)
- VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS (Q2986033) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- My journey into noncommutative lattices and their theory (Q5198035) (← links)