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

DOI: http://dx.doi.org/10.12775/LLP.2007.004

#### Abstract

#### Keywords

#### Full Text:

PDF#### References

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: 2300-9802 (electronic version)