Proof-Theoretic Semantics

DSpace Repositorium (Manakin basiert)

Proof-Theoretic Semantics

Schroeder-Heister, Peter
Dateien:
Thumbnail
611. KB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/131190
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1311908
http://dx.doi.org/10.15496/publikation-72550
Dokumentart: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 2022
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie
Freie Schlagwörter: Beweistheoretische Semantik
Proof Theory
Proof-Theoretic Semantics
Logic
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

Abstract:

This manuscript is the first version of the entry "Proof-Theoretic Semantics" in the Stanford Encyclopedia of Philosophy, which was submitted in 2011. For the version which finally appeared in 2012 it was reduced to one third of its length, which means that there is significant unpublished content in this original version.

Das Dokument erscheint in: