Talk:Method of analytic tableaux

From Wikipedia, the free encyclopedia

You have new messages (last change).

I know tableaux as semantic tableaux, and in fact, the page Semantic tableau redirects here. Is there a difference?

Not all tableau systems are analytic. This article could be generalized to include non-analytic systems. Nortexoid 20:48, 5 May 2006 (UTC)

[edit] Editing

This article isn't written very clearly. There is a lot of unnecessary terminology (e.g. 'multisets', 'sibling', 'child', etc.) that is left unexplained (e.g. 'branch', 'node', etc.). The article should be relatively brief and introductory. Am I the only one that finds it a disgusting mess?

Also, the title of the article should be something like 'Semantic tableau(x)' since there are tableau methods with cut rules. Nortexoid 01:26, 22 May 2006 (UTC)


[edit] Specific things to be cited

  • "Clearly, we would prefer to always find the shortest closed tableaux but it can be shown that one single algorithm that finds the shortest closed tableaux for all input sets of formulae cannot exist."
Retrieved from "http://en.wikipedia.org../../../m/e/t/Talk%7EMethod_of_analytic_tableaux_65b4.html"