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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Online |
| Jazyk: | polština |
| Vydáno: |
Wydawnictwo Uniwersytetu Łódzkiego
2025
|
| On-line přístup: | ONIX_20250307_9788382200355_777 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| _version_ | 1869516783542599680 |
|---|---|
| author | Indrzejczak, Andrzej |
| author_browse | Indrzejczak, Andrzej |
| author_facet | Indrzejczak, Andrzej |
| author_sort | Indrzejczak, Andrzej |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-155352 |
| institution | Directory of Open Access Books |
| language | pol |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Wydawnictwo Uniwersytetu Łódzkiego |
| publisherStr | Wydawnictwo Uniwersytetu Łódzkiego |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1553522025-03-07T14:09:46Z Chapter On the Notion of Analyticity in Proof Theory Indrzejczak, Andrzej 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. 2025-03-07T14:09:44Z 2025-03-07T14:09:44Z 2020 chapter ONIX_20250307_9788382200355_777 9788382200355 9788382200348 https://directory.doabooks.org/handle/20.500.12854/155352 pol image/jpeg Attribution-NonCommercial-NoDerivatives 4.0 International https://www.press.uni.lodz.pl/index.php/wul/catalog/book/213 Wydawnictwo Uniwersytetu Łódzkiego 10.18778/8220-034-8.02 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. 10.18778/8220-034-8.02 83bfe9c9-323d-4283-b087-d859fd9af314 9788382200355 9788382200348 13-35 open access |
| spellingShingle | Indrzejczak, Andrzej Chapter On the Notion of Analyticity in Proof Theory |
| title | Chapter On the Notion of Analyticity in Proof Theory |
| title_full | Chapter On the Notion of Analyticity in Proof Theory |
| title_fullStr | Chapter On the Notion of Analyticity in Proof Theory |
| title_full_unstemmed | Chapter On the Notion of Analyticity in Proof Theory |
| title_short | Chapter On the Notion of Analyticity in Proof Theory |
| title_sort | chapter on the notion of analyticity in proof theory |
| url | ONIX_20250307_9788382200355_777 |
| work_keys_str_mv | AT indrzejczakandrzej chapteronthenotionofanalyticityinprooftheory |