deduction theorem
(redirected from Resolution theorem)

Also found in: Wikipedia

0.01 sec.

deduction theorem

(Philosophy / Logic) Logic the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback
Add definition

Mentioned in	?		References in periodicals archive	?		Dictionary browser	?		Full browser	?
No references found			00 Hardcover Lecture notes in logic; 20 QA9 The proceedings volume begin with tutorials offering a logical perspective on resolution theorem proving, and introducing proofs of determinacy of long games. Logic Colloquium '01; proceedings by SciTech Book News SRI researchers have been responsible for major developments in resolution theorem proving and its application to reasoning by abduction in natural-language interpretation, to software synthesis, and more recently, to the composition of web services. SRI International's Artificial Intelligence Center Celebrates 40 ... by Business Wire			resistentialism resister Resistful Resistibility resistible Resisting resisting arrest resistive resistivity resistless resistor resit resize reskill resmudge Resnais resnatron resole resoluble resolute resolutely resoluteness resolution Resolution of a force Resolution of a nebula Resolution theorem Resolutioner Resolutionist resolutive Resolutory Resolvability resolvable Resolvableness resolve resolved resolvedly Resolvedness resolvent Resolver resolving resolving power resonance Resonancy resonant resonant cavity resonant circuit Resonantly resonate resonating resonating chamber resonator			resolution factor Resolution Funding Corp Resolution Funding Corp. Resolution Funding Corporation Resolution Funding Corporation Resolution Funding Corporation Bonds Resolution Health Medical Scheme Resolution Improvement TECHnology resolution in azimuth resolution in range Resolution Independent Object Resolution Island Resolution of a force Resolution of a nebula Resolution of disputes Resolution of disputes resolution of the court Resolution of the identity Resolution of the Identity Density Functional Theory Resolution On First Call Resolution phase resolution reading Resolution Sensitivity Resolution Systems Institute Resolution Tester Resolution theorem Resolution Trust Corp Resolution Trust Corp. Resolution Trust Corporation Resolution Trust Corporation Resolution Trust Corporation resolution wedge Resolution-Constrained Scalar Quantization Resolutioner Resolutionist Resolutions Resolutions Resolutions Resolutions Resolutions Resolutive Resolutory Resolutory condition RESOLV resolvability resolvability resolvability resolvability resolvable resolvable resolvable resolvable resolvable balanced incomplete block design Resolvable Balanced Incomplete Block Designs Resolvable Set resolvableness

Dictionary, Thesaurus, and Translations

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

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.

deduction theorem (redirected from Resolution theorem)

deduction theorem
(redirected from Resolution theorem)