The following pages link to (Q5119388):
Displaying 8 items.
- Modelling socio-political competition (Q2035344) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Residuation algebras with functional duals (Q2325603) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- Rough concepts (Q6081075) (← links)
