The following pages link to (Q4625704):
Displaying 6 items.
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5119388) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
