Emptiness and Discharge in Sequent Calculus and Natural Deduction

DSpace Repository

Emptiness and Discharge in Sequent Calculus and Natural Deduction

Author: Arndt, Michael; Tranchini, Luca
Tübinger Autor(en):
Arndt, Michael
Tranchini, Luca
Published in: Trends in Logic Studia Logica Library (2014), Bd. 41, S. 13-29
Verlagsangabe: Springer Int Publishing Ag
Language: English
Full text: http://dx.doi.org/10.1007/978-3-319-06080-4_2
ISSN: 1572-6126
DDC Classifikation: 300 - Social sciences, sociology and anthropology
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)