LK-to-NK transformation:

Abstract: "This paper describes LK-to-NK transformation which maps a proof in LK to a proof in NK. We prove that a cut-free proof in LK is mapped to a normal proof in NK, in a sense, by the transformation. This is used to develop user oriented explanation facilities in automatic theorem provers...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Koshimura, Miyuki (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Tokyo, Japan 1989
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 499
Schlagworte:
Zusammenfassung:Abstract: "This paper describes LK-to-NK transformation which maps a proof in LK to a proof in NK. We prove that a cut-free proof in LK is mapped to a normal proof in NK, in a sense, by the transformation. This is used to develop user oriented explanation facilities in automatic theorem provers and proof checkers."
Beschreibung:20 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!