complete inference system
<logic> An inference system A is complete with respect to another system
B if A can reach every conclusion which is true in B. The dual to completeness
is soundness.
(1998-07-05)
Nearby terms:
complementary nondeterministic polynomial « complete
« complete graph « complete inference system
» complete lattice » complete metric space »
completeness
|