Syntax and semantics of superintuitionistic logics
From MaRDI portal
Publication:920079
DOI10.1007/BF01982017zbMath0708.03011OpenAlexW2038444809MaRDI QIDQ920079
Publication date: 1989
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01982017
finite model propertysuperintuitionistic logicscanonical formulasDummet-Lemmon hypothesismodal counterpartrestricted languages
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Forbidden configurations and subframe varieties ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ MacNeille completions of FL-algebras ⋮ Canonical formulas for K4. Part II: Cofinal subframe logics ⋮ CANONICAL FORMULAS FOR wK4 ⋮ A new constant in superintuitionistic logic L3 ⋮ Cofinal stable logics ⋮ Stable formulas in intuitionistic logic ⋮ Frame based formulas for intermediate logics ⋮ Remarks on Stable Formulas in Intuitionistic Logic ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ Easkia Duality and Its Extensions ⋮ On the Blok-Esakia Theorem ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ Characteristic inference rules
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A propositional calculus with denumerable matrix
- Logics containing K4. Part II
- Logics containing K4. Part I
- The decidability of certain intermediate propositional logics
- Modal Logics Between S 4 and S 5
- Some theorems about the sentential calculi of Lewis and Heyting