Syntax and semantics of superintuitionistic logics

DOI10.1007/BF01982017MaRDI QIDQ920079zbMATH OpenOpenAlexFDO

Authors Michael Zakharyaschev

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

superintuitionistic logicscanonical formulasfinite model propertyDummet-Lemmon hypothesismodal counterpartrestricted languages

Mathematics Subject Classification ID

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

Recommendations

• Superintuitionistic companions of classical modal logics
• Metalogic of intuitionistic propositional calculus
• scientific article; zbMATH DE number 3861126
• scientific article; zbMATH DE number 4123703
• The finite model property with respect to admissibility for superintuitionistic logic

Cites work

• scientific article; zbMATH DE number 3823745 (Why is no real title available?)
• scientific article; zbMATH DE number 3711943 (Why is no real title available?)
• scientific article; zbMATH DE number 3630717 (Why is no real title available?)
• scientific article; zbMATH DE number 4123702 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3378883 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Logics containing K4. Part I
• Logics containing K4. Part II
• Modal Logics Between S 4 and S 5
• Some theorems about the sentential calculi of Lewis and Heyting
• The decidability of certain intermediate propositional logics

Cited in

(27)

• Frame based formulas for intermediate logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Intermediate logics admitting a structural hypersequent calculus
• An algebraic approach to subframe logics. Intuitionistic case
• On applied theories with superintuitionistic logics
• Remarks on Stable Formulas in Intuitionistic Logic
• Semantical analysis of superrelevant predicate logics with quantification
• MacNeille completions of FL-algebras
• Intuitionistic Sahlqvist theory for deductive systems
• Obligations and permissions on selfextensional logics
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Characteristic inference rules
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Esakia duality and its extensions
• Stable canonical rules for intuitionistic modal logics
• Synthesis of sup-interpretations: a survey
• Canonical formulas \(\mathbf{wK4}\)
• On the Blok-Esakia theorem
• Forbidden configurations and subframe varieties
• Stable formulas in intuitionistic logic
• A new constant in superintuitionistic logic L3
• Subframization and stabilization for superintuitionistic logics
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Syntactic awareness in logical dynamics
• Cofinal stable logics
• scientific article; zbMATH DE number 4021104 (Why is no real title available?)
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

This page was built for publication: Syntax and semantics of superintuitionistic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q920079)