Syntax and semantics of superintuitionistic logics

DOI10.1007/BF01982017zbMath0708.03011OpenAlexW2038444809MaRDI QIDQ920079

Michael Zakharyashchev

Publication date: 1989

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01982017

zbMATH Keywords

finite model propertysuperintuitionistic logicscanonical formulasDummet-Lemmon hypothesismodal counterpartrestricted languages

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item