|
ВИДЕОТЕКА |
Международная конференция «Logical Models of Reasoning and Computation»
|
|||
|
Canonical inference Nachum Dershowitz Tel Aviv University |
|||
Аннотация: 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. Язык доклада: английский |