Natural Derivations for Priest, An Introduction to Non-Classical Logic
Roy (Tony)
Source: The Australasian Journal of Logic, Vol 4, 2006
Paper - Abstract

Paper StatisticsDisclaimer

Author's Abstract

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


See Link (Defunct).

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2019
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - Feb 2019. Please address any comments on this page to File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page