Pages that link to "Item:Q920079"
From MaRDI portal
The following pages link to Syntax and semantics of superintuitionistic logics (Q920079):
Displaying 11 items.
- Forbidden configurations and subframe varieties (Q331025) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Cofinal stable logics (Q514517) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Characteristic inference rules (Q2342800) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
