Editing Method of analytic tableaux (section)

== History ==
In his ''Symbolic Logic Part II'', [[Charles Lutwidge Dodgson]] (also known by his literary pseudonym, Lewis Carroll) introduced the Method of Trees, the earliest modern use of a truth tree.{{sfn|The Encyclopedia of Philosophy|2023}}

The method of semantic tableaux was invented by the Dutch logician [[Evert Willem Beth]] (Beth 1955){{sfn|Beth|1955}} and simplified, for classical logic, by [[Raymond Smullyan]] (Smullyan 1968, 1995).{{sfn|Smullyan|1995}} Smullyan's simplification, "one-sided tableaux", is described here. Smullyan's method has been generalized to arbitrary [[many-valued logic|many-valued]] propositional and first-order logics by [[Walter Carnielli]] (Carnielli 1987).{{sfn|Carnielli|1987}}

Tableaux can be intuitively seen as [[Sequent calculus|sequent systems]] upside-down. This symmetrical relation between tableaux and sequent systems was formally established in (Carnielli 1991).{{sfn|Carnielli|1991}}