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

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/128464
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1284642
http://dx.doi.org/10.15496/publikation-69827
Dokumentart: Sonstiges
Date: 1987
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie , Regel , Aussagenlogik
Other Keywords: Relevanzlogik
Logikprogrammierung
Inference Rule
Propositional Logic
Relevance Logic
Logic Programming
Proof Theory
Logic
License: Publishing license including print on demand
Order a printed copy: Print-on-Demand
Show full item record

Inhaltszusammenfassung:

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.

Abstract:

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.

This item appears in the following Collection(s)