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

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Kaituhi matua:	Indrzejczak, Andrzej
Hōputu:	Online
Reo:	Pōrihi
I whakaputaina:	Wydawnictwo Uniwersytetu Łódzkiego 2025
Urunga tuihono:	ONIX_20250307_9788382200355_777
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!