The following pages link to (Q5505773):
Displaying 8 items.
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- The logic Ł<sup>•</sup> (Q2933737) (← links)
- (Q3175572) (← links)
- (Q4780583) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)