非表示:
キーワード:
-
要旨:
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.
Two concrete such inference rules are presented, and other two strategies for
them are proposed.