Syntax and semantics of superintuitionistic logics
The aim of this paper is to study general properties of superintuitionistic logics basing on the introduction of a special kind of canonical formulas. It is shown that any superintuitionistic logic (s.l.) can be axiomatized by means of canonical formulas. At the same time, it is proved that any set of formulas with the above mentioned property can be decreased, that is, the set of all s.l. has no axiomatical basis. By means of the introduced tools of canonical formulas, the author gives a solution of the Dummet-Lemmon hypothesis about the largest modal counterpart. It is proved that the finite model property is preserved under going to the smallest counterpart. New examples of modal counterparts of \({\mathcal I}nt\) without finite model property are given. Properties of s.l. with axioms in restricted languages are considered.
- A propositional calculus with denumerable matrix
- 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?)
- 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
- Frame based formulas for intermediate logics
- Semantical analysis of superrelevant predicate logics with quantification
- Two sequences of locally tabular superintuitionistic logics
- Stable formulas in intuitionistic logic
- Synthesis of sup-interpretations: a survey
- Characteristic inference rules
- An algebraic approach to subframe logics. Intuitionistic case
- Intermediate logics admitting a structural hypersequent calculus
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- On applied theories with superintuitionistic logics
- Subframization and stabilization for superintuitionistic logics
- Forbidden configurations and subframe varieties
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- scientific article; zbMATH DE number 4021104 (Why is no real title available?)
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Canonical formulas \(\mathbf{wK4}\)
- A new constant in superintuitionistic logic L3
- Syntactic awareness in logical dynamics
- Cofinal stable logics
- Remarks on Stable Formulas in Intuitionistic Logic
- Esakia duality and its extensions
- On the Blok-Esakia theorem
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- MacNeille completions of FL-algebras
- Intuitionistic Sahlqvist theory for deductive systems
- Obligations and permissions on selfextensional logics
- Stable canonical rules for intuitionistic modal logics
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)
