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
Онлайн хандалт:	https://czasopisma.uni.lodz.pl/bulletin/article/view/28180
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!