Restricting initial sequents : The trade-offs between identity, contraction and cut

Autor(en):

Schroeder-Heister, P.

Tübinger Autor(en):

Erscheinungsjahr:

2016

Reihe:

Progress in computer science and applied logic;28

Verlagsangabe:

Cham : Birkhäuser

Sprache:

Englisch

Referenz zum Volltext:

ISBN:

978-3-319-29196-3
978-3-319-29198-7

DDC-Klassifikation:

004 - Informatik
100 - Philosophie

Dokumentart:

Teil eines Buches

Erschienen in:

Advances in proof theory

Seitenbereich:

339-351

Das Dokument erscheint in: