Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationConcepts of Proof in Mathematics, Philosophy, and Computer Science
RedaktörerDieter Probst, Peter Schuster
Antal sidor22
Förlagde Gruyter
Utgivningsdatum2016
Sidor269-290
ISBN (tryckt)978-1-5015-0262-0
StatusPublicerad - 2016
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Publikationsserier

NamnOntos Mathematical Logic
FörlagDe Gruyter
Nummer6
ISSN (elektroniskt)2198-235X

Vetenskapsgrenar

  • 611 Filosofi

Citera det här