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 10 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- An algebraic approach to subframe logics. Modal case (Q540406) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Metacompleteness of substructural logics (Q1935554) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)