Emptiness and Discharge in Sequent Calculus and Natural Deduction

DSpace Repositorium (Manakin basiert)

Emptiness and Discharge in Sequent Calculus and Natural Deduction

Autor(en): Arndt, Michael; Tranchini, Luca
Tübinger Autor(en):
Arndt, Michael
Tranchini, Luca
Erschienen in: Trends in Logic Studia Logica Library (2014), Bd. 41, S. 13-29
Verlagsangabe: Springer Int Publishing Ag
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/978-3-319-06080-4_2
ISSN: 1572-6126
DDC-Klassifikation: 300 - Sozialwissenschaften, Soziologie, Anthropologie
Dokumentart: Wissenschaftlicher Artikel
Konferenzveröffentlichung
Zur Langanzeige

Das Dokument erscheint in: