Science Fair Project Encyclopedia
Method of analytic tableaux
Analytic tableaux, or, more briefly, just tableaux, are a fundamental concept in automated theorem proving. The method of analytic tableaux provides a fertile source of decision procedures, and semi-decision procedures , for logical calculi such as propositional logic, intuitionistic logic, first-order logic and modal logic.
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details