Pages that link to "Item:Q2983398"
From MaRDI portal
The following pages link to Jónsson-style canonicity for ALBA-inequalities (Q2983398):
Displaying 13 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4625704) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- (Q5119388) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Jónsson-style canonicity in distributive modal <i>µ</i>-calculus (Q6111079) (← links)