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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριοι συγγραφείς:	Didier Galmiche, Brandon Hornbeck, Daniel Méry
Μορφή:	Artigo
Γλώσσα:	Inglês
Έκδοση:	Lodz University Press 2026-06-01
Σειρά:	Bulletin of the Section of Logic
Θέματα:	non-Fregean sentential logic sequent calculi labeled calculi nested sequents proof translations
Διαθέσιμο Online:	https://czasopisma.uni.lodz.pl/bulletin/article/view/28180
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!