Pages that link to "Item:Q920079"
From MaRDI portal
The following pages link to Syntax and semantics of superintuitionistic logics (Q920079):
Displaying 24 items.
- Forbidden configurations and subframe varieties (Q331025) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Cofinal stable logics (Q514517) (← links)
- MacNeille completions of FL-algebras (Q652517) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Semantical analysis of superrelevant predicate logics with quantification (Q1109761) (← links)
- Two sequences of locally tabular superintuitionistic logics (Q1181493) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Synthesis of sup-interpretations: a survey (Q1935778) (← 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)
- On applied theories with superintuitionistic logics (Q2751812) (← links)
- Subframization and stabilization for superintuitionistic logics (Q3120212) (← 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)
