Pages that link to "Item:Q5434203"
From MaRDI portal
The following pages link to Conserving involution in residuated structures (Q5434203):
Displaying 6 items.
- Structural completeness in relevance logics (Q295911) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Singly generated quasivarieties and residuated structures (Q5119904) (← links)
