Stable canonical rules
This paper deals with normal modal logics with multi-conclusion consequence relation. Its main contribution is, using some ideas from intuitionistic logics, to generate some canonical formulas to axiomatize some modal logics, which were not possible to axiomatize using these techniques.NEWLINENEWLINEThe way it is achieved is to use algebraic tools and techniques together with filtration. Therefore, it remains an open problem how these ideas may translate into topological approaches to modal logic. Similarly, how non-normal modal logics can be treated using these methods.NEWLINENEWLINEIn conclusion, the paper suggests a conclusive generalization to the research program of axiomatizing different modal logics with canonical formulas -- or their sorts.
- Canonical rules
- Admissible bases via stable canonical rules
- Publication:4723057
- Regular canonical systems
- scientific article; zbMATH DE number 408799
- scientific article; zbMATH DE number 4000125
- On the stability of Filon-Clenshaw-Curtis rules
- scientific article; zbMATH DE number 524180
- Canonical systems
- A dual characterization of subdirectly irreducible BAOs
- Admissibility of logical inference rules
- An algebraic approach to canonical formulas: modal case
- An algebraic approach to subframe logics. Modal case
- An algebraic look at filtrations in modal logic
- Canonical formulas \(\mathbf{wK4}\)
- Continuity, freeness, and filtrations
- Frame based formulas for intermediate logics
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1749192 (Why is no real title available?)
- Splitting lattices of logics
- Subdirectly irreducible modal algebras and initial frames
- The algebra of topology
- Tools and techniques in modal logic
- Topo-canonical completions of closure algebras and Heyting algebras
- Using the Universal Modality: Gains and Questions
- « Everywhere » and « here »
- Stable formulas in intuitionistic logic
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Computational complexity for bounded distributive lattices with negation
- Complexity of the universal theory of modal algebras
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- Intermediate logics admitting a structural hypersequent calculus
- Admissible bases via stable canonical rules
- Grzegorczyk algebras revisited
- Stable modal logics
- A variety of algebras closely related to subordination algebras
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- Cofinal stable logics
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Subordinations on bounded distributive lattices
- Complexity of the universal theory of residuated ordered groupoids
- Blok-Esakia theorems via stable canonical rules
- The Funayama envelope as the TD-hull of a frame
- Modern faces of filtration
- A calculus for modal compact Hausdorff spaces
- A model theory of topology
- Stable canonical rules for intuitionistic modal logics
- On the lack of colimits in various categories arising in pointfree topology and algebraic logic
- Stable canonical rules and formulas for pre-transitive logics via definable filtration
This page was built for publication: Stable canonical rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805038)
