complete inference system
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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.