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

DSpace Repository

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

Author: Schroeder-Heister, P.
Tübinger Autor(en):
Schroeder-Heister, Peter
Issue year: 2016
Series: Progress in computer science and applied logic;28
Verlagsangabe: Cham : Birkhäuser
Language: English
Full text: http://dx.doi.org/10.1007/978-3-319-29198-7_10
ISBN: 978-3-319-29196-3
978-3-319-29198-7
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Dokumentart: Buch (einzelnes Kapitel)
Published in: Advances in proof theory
Page range: 339-351
Show full item record

This item appears in the following Collection(s)