Chapter On the Notion of Analyticity in Proof Theory
Several notions of analytic proof are considered in the paper. After brief recollection of historically important approaches to this notion we focus on contemporary applications of this term. In particular, the relationships between cut elimination, subformula property and analyticity of proof in se...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Online |
| 語言: | 波兰语 |
| 出版: |
Wydawnictwo Uniwersytetu Łódzkiego
2025
|
| 在線閱讀: | ONIX_20250307_9788382200355_777 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| 總結: | Several notions of analytic proof are considered in the paper. After brief recollection of historically important approaches to this notion we focus on contemporary applications of this term. In particular, the relationships between cut elimination, subformula property and analyticity of proof in sequent calculus are examined. |
|---|