Proof-theoretic semantics of natural deduction based on inversion

DSpace Repository

Proof-theoretic semantics of natural deduction based on inversion

Author: Zimmermann, Ernst
Tübinger Autor(en):
Zimmermann, Ernst
Published in: Theoria - A Swedish Journal of Philosophy (2021), Bd. 87, H. 6, S. 1651-1670
Verlagsangabe: Hoboken
Language: English
Full text: http://dx.doi.org/10.1111/theo.12375
ISSN: 0040-5825
DDC Classifikation: 004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)