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.
Last updated: 1998-07-05
Nearby terms:
complete graph ♦ complete inference system ♦ complete lattice ♦ complete metric space
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
