Proof-theoretic semantics of natural deduction based on inversion

Autor(en):

Zimmermann, Ernst

Tübinger Autor(en):

Erschienen in:

Theoria - A Swedish Journal of Philosophy (2021), Bd. 87, H. 6, S. 1651-1670

Verlagsangabe:

Hoboken

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0040-5825

DDC-Klassifikation:

004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: