Pages that link to "Item:Q3005995"
From MaRDI portal
The following pages link to CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995):
Displaying 11 items.
- The distributivity on bi-approximation semantics (Q306839) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- (Q5119388) (← links)
