The following pages link to (Q5869701):
Displaying 8 items.
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- 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)
- Intuitionistic modal algebras (Q6562368) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)
- Algebraizability of the logic of quasi-N4-lattices (Q6659913) (← links)
