Natural Derivations for Priest, An Introduction to Non-Classical Logic

  • Tony Roy Department of Philosophy, California State University, San Bernardino

Abstract

This document collects natural derivation systems for logics described in Priest, An Introduction to Non-Classical Logic [4]. It provides an alternative or supplement to the semantic tableaux of his text. Except that some chapters are collapsed, there are sections for each chapter in Priest, with an additional, final section on quantified modal logic. In each case, (i) the language is briefly described and key semantic definitions stated, (ii) the derivation system is presented with a few examples given, and (iii) soundness and completeness are proved. There should be enough detail to make the parts accessible to students would work through parallel sections of Priest.

Author Biography

Tony Roy, Department of Philosophy, California State University, San Bernardino
Published
2006-03-20
How to Cite
ROY, Tony. Natural Derivations for Priest, An Introduction to Non-Classical Logic. The Australasian Journal of Logic, [S.l.], v. 4, mar. 2006. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/1779>. Date accessed: 23 may 2019. doi: https://doi.org/10.26686/ajl.v4i0.1779.