Structural Frameworks with Higher-Level Rules: Philosophical Investigations on the Foundations of Formal Reasoning

Abstract

Diese Habilitationsschrift von 1987 entwickelt und behandelt die Idee von Schlussregeln höherer Stufe im Kontext der Aussagenlogik (mit und ohne Negation), der Logikprogrammierung, der Relevanzlogik und der Typentheorie Martin-Löfs.

This is an online republication of my Habilitationsschrift of 1987. It deals with the notion of higher-level inference rule in the context of propositional logic with and without negation, logic programming, relevance logic and Martin-Löf type theory.