Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic

DSpace Repositorium (Manakin basiert)

Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic

Schroeder-Heister, Peter
Dateien:
Thumbnail
3.01 MB
PDF
Zitierfähiger Link (URI): http://hdl.handle.net/10900/130950
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309502
http://dx.doi.org/10.15496/publikation-72310
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309500
http://nbn-resolving.org/urn:nbn:de:bsz:21-dspace-1309504
Dokumentart: Wissenschaftlicher Artikel
Erscheinungsdatum: 1989
Originalveröffentlichung: Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989. Ed. by Peter Dybjer, Lars Hallnäs, Bengt Nordström, Kent Petersson and Jan M. Smith. Programming Methodology Group, University of Göteborg and Chalmers University of Technology 1989, Report 54, pp. 494-517
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie , Logische Partikel , Per Martin-Löf [Person]
Freie Schlagwörter:
Logic
Proof Theory
Logical Constants
Per Martin-Löf
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:

The aim of these notes is to carry over some of what I did in my thesis [see P. Schroeder-Heister, A Natural Extension of Natural Deduction, J. Symb. Log. 49 (1984), 1284-1300] to the framework of Martin-Löf's logical theory, in particular the idea of rules of higher levels (which in Martin-Löf's non-formalistic approach will become hypothetical judgements of higher levels) and the general schema for introduction and elimination rules for logical constants (which will have to be extended to a schema containing formation and detraction rules).

Das Dokument erscheint in: