Syndetics omslagsbild
Bild från Syndetics

Chapter On the Notion of Analyticity in Proof Theory

Av: Medverkande: Materialtyp: ArtikelUtgivningsinformation: Wydawnictwo Uniwersytetu Łódzkiego 2020Beskrivning: 1 electronic resource (13-35 p.)Innehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9788382200348
  • 9788382200355
Onlineresurser: I: Sammanfattning: 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.
Inga fysiska exemplar för denna post

Open Access Unrestricted online access star

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.

Creative Commons Licence cc by-nc-nd cc https://creativecommons.org/licenses/by-nc-nd/4.0/

pol

Freely available e-book