Stable canonical rules (Q2805038)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Stable canonical rules |
scientific article; zbMATH DE number 6578135
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Stable canonical rules |
scientific article; zbMATH DE number 6578135 |
Statements
9 May 2016
0 references
modal logic
0 references
multi-conclusion consequence relation
0 references
axiomatization
0 references
filtration
0 references
modal algebra
0 references
variety
0 references
universal class
0 references
0.8259608
0 references
0.7971233
0 references
Stable canonical rules (English)
0 references
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.
0 references
