Proof Translations between Label-free and Labeled Sequent Calculi in ISCI
In this paper we consider the Intuitionistic Sentential Calculus with Identity (ISCI). We study two main families of sequent calculi. The first one, called G3ISCI, is based on a label-free multi-succedent sequent calculus that is sound and complete w.r.t. Kripke models and the second, called L3ISCI...
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Lodz University Press
2026-06-01
|
| Col·lecció: | Bulletin of the Section of Logic |
| Matèries: | |
| Accés en línia: | https://czasopisma.uni.lodz.pl/bulletin/article/view/28180 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|