Ghent University Academic Bibliography

Advanced

Goal-directed tableaux

Joke Meheus UGent and Kristof De Clercq UGent (2009) The many sides of logic. In Studies in Logic 21. p.241-256
abstract
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.
Please use this url to cite or link to this publication:
author
organization
year
type
bookChapter
publication status
published
subject
keyword
proof search procedures, goal-directed tableaux, connected tableaux
book title
The many sides of logic
editor
Walter Carnielli, Marcello E Coniglio and Itala M Loffredo D'Ottaviano
series title
Studies in Logic
volume
21
pages
241 - 256
publisher
College Publications
place of publication
London, UK
ISBN
9781904987789
language
English
UGent publication?
yes
classification
B2
VABB id
c:vabb:299713
VABB type
VABB-4
id
947339
handle
http://hdl.handle.net/1854/LU-947339
date created
2010-05-17 16:15:21
date last changed
2015-06-17 11:25:34
@incollection{947339,
  abstract     = {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.},
  author       = {Meheus, Joke and De Clercq, Kristof},
  booktitle    = {The many sides of logic},
  editor       = {Carnielli, Walter  and Coniglio, Marcello E and Loffredo D'Ottaviano, Itala M},
  isbn         = {9781904987789},
  keyword      = {proof search procedures,goal-directed tableaux,connected tableaux},
  language     = {eng},
  pages        = {241--256},
  publisher    = {College Publications},
  series       = {Studies in Logic},
  title        = {Goal-directed tableaux},
  volume       = {21},
  year         = {2009},
}

Chicago
Meheus, Joke, and Kristof De Clercq. 2009. “Goal-directed Tableaux.” In The Many Sides of Logic, ed. Walter Carnielli, Marcello E Coniglio, and Itala M Loffredo D’Ottaviano, 21:241–256. London, UK: College Publications.
APA
Meheus, J., & De Clercq, K. (2009). Goal-directed tableaux. In Walter Carnielli, M. E. Coniglio, & I. M. Loffredo D’Ottaviano (Eds.), The many sides of logic (Vol. 21, pp. 241–256). London, UK: College Publications.
Vancouver
1.
Meheus J, De Clercq K. Goal-directed tableaux. In: Carnielli W, Coniglio ME, Loffredo D’Ottaviano IM, editors. The many sides of logic. London, UK: College Publications; 2009. p. 241–56.
MLA
Meheus, Joke, and Kristof De Clercq. “Goal-directed Tableaux.” The Many Sides of Logic. Ed. Walter Carnielli, Marcello E Coniglio, & Itala M Loffredo D’Ottaviano. Vol. 21. London, UK: College Publications, 2009. 241–256. Print.