| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-08-16T11:50:25Z |
|
| dc.date.available |
2022-08-16T11:50:25Z |
|
| dc.date.issued |
1989 |
|
| dc.identifier.issn |
0282-2083 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/130950 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309502 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-72310 |
|
| dc.description.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). |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Beweistheorie , Logische Partikel , Per Martin-Löf [Person] |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Logical Constants |
en |
| dc.subject.other |
Per Martin-Löf |
en |
| dc.title |
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic |
en |
| dc.type |
Article |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.source |
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 |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
