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

DSpace Repositorium (Manakin basiert)

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

Schroeder-Heister, Peter
Dateien:
Thumbnail
838. KB
PDF
Zitierfähiger Link (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: Verschiedenartige Ressourcen, nicht textgeprägt
Erscheinungsdatum: 1987
Sprache: Englisch
Fakultät: 7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich: Informatik
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
Schlagworte: Logik , Beweistheorie , Regel , Aussagenlogik
Freie Schlagwörter: Relevanzlogik
Logikprogrammierung
Inference Rule
Propositional Logic
Relevance Logic
Logic Programming
Proof Theory
Logic
Lizenz: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Gedruckte Kopie bestellen: Print-on-Demand
Zur Langanzeige

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.

Das Dokument erscheint in: