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
complete graph ♦ complete inference system ♦ complete lattice ♦ complete metric space
Try this search on