ISSN:
1573-0670
Keywords:
inference rule
;
first-order polynomial
;
set-of-support deduction
;
linear deduction
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract The concept of well-behaved inference rules is developed in first-order polynomial-based theorem proving. It is shown that well-behaved inference rules are complete for both the set of support strategy and the linear strategy. Furthermore, two concrete inference rules that are well behaved are presented, and two other strategies for them are described.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1006027228476
Permalink