Published:
Göteborg: Programming Methodology Group, University of Göteburg and Chalmers University of Technology, 1989
Online-Ausgabe, Tübingen: Universitätsbibliothek Tübingen, 2022
Published in:Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989 ; Report 54$dGöteborg$eProgramming Methodology Group, University of Göteburg and Chalmers University of Technology$f1989
Place of reproduction:
Tübingen: Universitätsbibliothek Tübingen, 2022
Origination:
Footnote:
Description:
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).