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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Lodz University Press
2026-06-01
|
| Schriftenreihe: | Bulletin of the Section of Logic |
| Schlagworte: | |
| Online-Zugang: | https://czasopisma.uni.lodz.pl/bulletin/article/view/28180 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|