Pages that link to "Item:Q2425350"
From MaRDI portal
The following pages link to An algebraic approach to the disjunction property of substructural logics (Q2425350):
Displaying 4 items.
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- Algebraic proof theory for LE-logics (Q6493417) (← links)
