Cut Elimination for Extended Sequent Calculi
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the systems uniformly since they all share the same set...
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Lodz University Press
2023-09-01
|
| Col·lecció: | Bulletin of the Section of Logic |
| Matèries: | |
| Accés en línia: | https://czasopisma.uni.lodz.pl/bulletin/article/view/13263 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|