| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
|
|||
|
Canonical inference Nachum Dershowitz Tel Aviv University |
|||
|
Abstract: An abstract proof-theoretic framework, inspired by rewriting methods, is proposed. Normal-form proof objects are minimal in some wellfounded proof ordering. The approach applies in the equational, Hornclause, and deduction-modulo cases, among others, as they incorporate formal notions of simplification and redundancy. Language: English |
|||