Pages that link to "Item:Q4928772"
From MaRDI portal
The following pages link to A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772):
Displaying 7 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- (Q5119388) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
