非表示:
キーワード:
-
要旨:
To decide whether a propositional formula can be deduced
from a finite set of formulas in a given many-valued logic
system, we only need to decide whether a polynomial vanishes on an algebraic
variety. By using Wu's method, we present an algorithm for this deduction
problem.