General Proof Theory and Definitional Reflection: Notes, 2016

DSpace Repositorium (Manakin basiert)

General Proof Theory and Definitional Reflection: Notes, 2016

Hallnäs, Lars; Schroeder-Heister, Peter
Dateien:
Thumbnail
145. KB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/129452
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1294527
http://dx.doi.org/10.15496/publikation-70815
Dokumentart: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 2016
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
Definition
Dag Prawitz
General Proof Theory
Proof-Theoretic Semantics
Logic
Definitional Reflection
Dag Prawitz
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

Inhaltszusammenfassung:

Programmatische Notizen über die Rolle des Prinzips der definitorischen Reflexion in der allgemeinen Beweistheorie.

Abstract:

Programmatic notes on the role of the principle of definitional reflection in general proof theory.

Das Dokument erscheint in: