complete inference system


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.

Last updated: 1998-07-05

Nearby terms:

complete graphcomplete inference systemcomplete latticecomplete metric space

Try this search on Wikipedia, Wiktionary, Google, OneLook.