Mittelgeber DFG allgemein
Projektbeginn : 01 02.1993
Projektende : 31 01.1994
Tel./ Fax.:
Es soll ein allgemeiner Rahmen fuer Deduktionssysteme vom Gentzentyp entwickelt werden unter zentraler Verwendung eines neuartigen Inferenzschemas der definitorischen Abgeschlossenheit induktiver Definitionen. Als zentraler Anwendungsfall ist die Spezifikation und Implementation von Theorembeweisern fuer substrukturelle Logiken (Relevanzlogik, lineare Logik etc.) vorgesehen.
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 15.09.96