The following pages link to Semi-Nelson algebras (Q2413410):
Displaying 4 items.
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Semi-Heyting Algebras and Identities of Associative Type (Q5241407) (← links)
