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