We establish the dichotomy property for stable canonical multi-conclusionrules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
Admissible Bases Via Stable Canonical Rules / N. Bezhanishvili, D. Gabelaia, S. Ghilardi, M. Jibladze. - In: STUDIA LOGICA. - ISSN 0039-3215. - 104:2(2016), pp. 317-341. [10.1007/s11225-015-9642-z]
Admissible Bases Via Stable Canonical Rules
S. GhilardiPenultimo
;
2016
Abstract
We establish the dichotomy property for stable canonical multi-conclusionrules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
admissibleSL.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
365.17 kB
Formato
Adobe PDF
|
365.17 kB | Adobe PDF | Visualizza/Apri |
|
art%3A10.1007%2Fs11225-015-9642-z.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
632.13 kB
Formato
Adobe PDF
|
632.13 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
