Pages that link to "Item:Q5046720"
From MaRDI portal
The following pages link to Fragments of Quasi-Nelson: The Algebraizable Core (Q5046720):
Displaying 4 items.
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← 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)