Pages that link to "Item:Q920079"
From MaRDI portal
The following pages link to Syntax and semantics of superintuitionistic logics (Q920079):
Displayed 18 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)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)