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 fundamental idea behind the analytic tableau method derives from the cut-elimination theorem of structural proof theory.
03-10-2013 05:06:04
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
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