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...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Artigo |
| 言語: | Inglês |
| 出版事項: |
Lodz University Press
2026-06-01
|
| シリーズ: | Bulletin of the Section of Logic |
| 主題: | |
| オンライン･アクセス: | https://czasopisma.uni.lodz.pl/bulletin/article/view/28180 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|