Admissible bases via stable canonical rules (Q284230)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6581390
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Admissible bases via stable canonical rules |
scientific article; zbMATH DE number 6581390 |
Statements
Admissible bases via stable canonical rules (English)
0 references
17 May 2016
0 references
The dichotomy property means that a canonical multi-conclusion rule is either admissible or equivalent to an assumption-free rule. The authors establish the same property for stable multi-conclusion canonical rules for the intuitionistic propositional calculus (IPC), and the modal systems K4 and S4 (see [\textit{V. V. Rybakov}, Admissibility of logical inference rules. Amsterdam: Elsevier (1997; Zbl 0872.03002)]). An immediate consequence of the main result is decidability of the admissibility problem for IPC, K4 and S4, while the admissibility for the basic modal logic K remains a long standing open problem.
0 references
admissible rules
0 references
admissible bases
0 references
modal logic
0 references
intuitionistic logic
0 references
modal algebras
0 references
Heyting algebras
0 references
canonical rules
0 references
decidability.
0 references
0 references
0.8277105093002319
0 references
0.8124989867210388
0 references
0.8119012713432312
0 references
0.8046055436134338
0 references
