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

Abstract
This document collects natural derivation systems for logics described in Priest, An Introduction to Non-Classical Logic. 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, the language is briefly described and key semantic definitions stated, the derivation system is presented with a few examples given, and soundness and completeness are proved. There should be enough detail to make the parts accessible to students would work through parallel sections of An Introduction to Non-Classical Logic
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 25,683
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.
A New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
Normal Derivations and Sequent Derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
To Be and Not to Be: Dialectical Tense Logic.Graham Priest - 1982 - Studia Logica 41 (2-3):249 - 268.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Logic: A Very Short Introduction.Graham Priest - 2000 - Oxford University Press.

Monthly downloads

Added to index

2010-12-22

Total downloads

76 ( #65,557 of 2,143,908 )

Recent downloads (6 months)

13 ( #51,808 of 2,143,908 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums