General Proof Theory and Definitional Reflection: Notes, 2016

DSpace Repository

General Proof Theory and Definitional Reflection: Notes, 2016

Hallnäs, Lars; Schroeder-Heister, Peter
Dateien:
Thumbnail
145. KB
PDF
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: Sonstiges
Date: 2016
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie
Other Keywords: Beweistheoretische Semantik
Definition
Dag Prawitz
General Proof Theory
Proof-Theoretic Semantics
Logic
Definitional Reflection
Dag Prawitz
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record

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.

This item appears in the following Collection(s)