Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

Tomasz Jarmużek



The paper is devoted to an approach to analytic tableaux for propositional logic, but can be successfully extended to other logics. The distinguishing features of the presented approach are:(i) a precise set-theoretical description of tableau method; (ii) a notion of tableau consequence relation is defined without help of a notion of tableau, in our universe of discourse the basic notion is a branch;(iii) we define a tableau as a finite set of some chosen branches which is enough to check; hence, in our approach a tableau is only a way of choosing a minimal set of closed branches;(iv) a choice of tableau can be arbitrary, it means that if one tableau starting with some set of premisses is closed in the defined sense, then every branch in the power set of the set of formulas, that starts with the same set, is closed.


analytic tableaux; propositional logic; set-theoretical approach to a description of tableaux; branches as chains of sets of formulas; tableaux consequence relation; choice of branches; tableau combined with branches

Full Text:



Jarmużek, T., “Tableaux for non-classical propositional logic. General pattern of completeness and correctness” (in preparation).

Fitting, M., and R. Mendelson, First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht/Boston/London, 1998.

Fitting, M., Intuitionistic Logic. Model Theory and Forcing. North-Holland Publishing Company, Amsterdam/London, 1969.

Girle, R., Modal Logics and Philosophy. McGill-Queen’s University Press, Montreal & Kingston, London, Ithaca, 2000.

Priest, G., An Introduction to Non-Classical Logic. Cambridge University Press, Cambridge, 2001.

Smullyan, R.M., First-Order Logic. Dover Publications, New York, 1995.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism