The following pages link to (Q4636034):
Displayed 7 items.
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- B-frame duality (Q2689804) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- Cover systems for the modalities of linear logic (Q6201546) (← links)
- Lattices of Intermediate Theories via Ruitenburg's Theorem (Q6337923) (← links)