The following pages link to (Q5869701):
Displayed 5 items.
- A duality for two-sorted lattices (Q2156992) (← links)
- Quasi-Nelson algebras and fragments (Q5022928) (← links)
- Negation and Implication in Quasi-Nelson Logic (Q5059693) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Fragments of quasi-Nelson: residuation (Q6111142) (← links)