Emptiness and Discharge in Sequent Calculus and Natural Deduction

Autor(en):

Arndt, Michael; Tranchini, Luca

Tübinger Autor(en):

Erschienen in:

Trends in Logic Studia Logica Library (2014), Bd. 41, S. 13-29

Verlagsangabe:

Springer Int Publishing Ag

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1572-6126

DDC-Klassifikation:

300 - Sozialwissenschaften, Soziologie, Anthropologie

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: