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

DSpace Repository

Show simple item record

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

Dateien:

This item appears in the following Collection(s)

Show simple item record