Admissible bases via stable canonical rules
| Authors |
|
|---|---|
| Publication date | 2016 |
| Journal | Studia Logica |
| Volume | Issue number | 104 | 2 |
| Pages (from-to) | 317-341 |
| Organisations |
|
| Abstract | We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s11225-015-9642-z |
| Downloads |
Admissible Bases Via Stable Canonical Rules
(Final published version)
|
| Permalink to this page | |