TY - Generic T1 - Goal-Directed Tableaux Y1 - 2009 A1 - Meheus, Joke A1 - De Clercq, Kristof ED - Carnielli, Walter A. ED - Coniglio, Marcelo E. ED - Loffredo D'Ottaviano, Itala M. AB -

This paper contains a new format for analytic tableaux, called goal-directed tableaux. Their main interest lies in the fact that the search for a closed tableau proceeds in a highly constrained way. The goal-directed tableaux do not form a complete decision method for propositional classical logic (because they do not sustain Ex Falso Quodlibet). For consistent sets of premises, however, they lead to the same results as the usual analytic tableaux for classical logic.

JA - The Many Sides of Logic T3 - Studies in Logic PB - College Publications CY - London VL - 21 SP - 241–256 ER -