Please use this identifier to cite or link to this item:
doi:10.22028/D291-39825 | Title: | Transformation of Refutation Graphs into Natural Deduction Proofs |
| Author(s): | Lingenfelder, Christoph |
| Language: | English |
| Year of Publication: | 1986 |
| Place of publication: | Kaiserslautern |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | Most computer generated proofs are stated in abstract representations not normally used by mathematicians. We describe a procedure to transform proofs represented as abstract refutation graphss into natural deduction proofs. The emphasis of this investigation is more on stylistic aspects rather than theoretical issues. In particular the topological properties of refutation graphs can be successfully exploited in order to obtain structured proofs. |
| Link to this record: | urn:nbn:de:bsz:291--ds-398252 hdl:20.500.11880/36006 http://dx.doi.org/10.22028/D291-39825 |
| Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Series volume: | 86,10 |
| Date of registration: | 21-Jun-2023 |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-Report-SR-86-10_Lingenfelder_Transformation-of-Refutation-Graphs-into-Natural-Deduction-Proofs.pdf | 12,29 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.