KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA273962

Vergleich und Analyse von Ordnungseinschränkungen für freie Variablen Tableau

Pape, Christian

Abstract:

In dieser Arbeit untersuchen wir einige Erweiterungen
geordneter Tableaus: die Ordnung auf Atomen wird durch das
allgemeinere Konzept einer Auswahlfunktion ersetzt; die
Substitutivit”t, welche fžr das liften notwendig ist, kann
fžr bestimmte Varianten des Kalkžls durch eine schw”chere
Eigenschaft ersetzt werden; und eine ersten Version geordneter
Tableaus mit Theorien wird eingefžhrt. Wir zeigen die
Korrektheit und Vollst”ndigkeit der resultierenden Kalkžle.
Desweiteren berichten wir žber unsere Experimente, welche
wir mit einer prototypischen Implementierung durchgefžhrt haben,
und zeigen fžr welche Problemklassen sich geordnete Tableaus
sinnvoll einsetzen lassen.


Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buch
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 27396
Erscheinungsvermerk Karlsruhe 1996. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1996,30.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page