Admissible Bases Via Stable Canonical Rules

Articolo
Data di Pubblicazione:
2016
Citazione:
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]
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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Admissible bases; Admissible rules; Canonical formulas; Heyting algebras; Intuitionistic logic; Modal algebras; Modal logic; Logic; History and Philosophy of Science
Elenco autori:
N. Bezhanishvili, D. Gabelaia, S. Ghilardi, M. Jibladze
Autori di Ateneo:
GHILARDI SILVIO ( autore )
Link alla scheda completa:
https://air.unimi.it/handle/2434/374669
Link al Full Text:

Aree Di Ricerca

Settori


Settore MAT/01 - Logica Matematica