David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Australasian Journal of Philosophy 4:47-192 (2006)
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)|
No categories specified
(categorize this paper)
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.
Citations of this work BETA
No citations found.
Similar books and articles
Jiří Raclavský & Petr Kuchyňka (2011). Conceptual and Derivation Systems. Logic and Logical Philosophy 20 (1-2):159-174.
Maria Da Paz N. Medeiros (2006). A New S4 Classical Modal Logic in Natural Deduction. Journal of Symbolic Logic 71 (3):799 - 809.
Mirjana Borisavljevi (2008). Normal Derivations and Sequent Derivations. Journal of Philosophical Logic 37 (6):521 - 548.
Merrie Bergmann (2008). An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press.
Thomas Macaulay Ferguson (2014). Extensions of Priest-da Costa Logic. Studia Logica 102 (1):145-174.
Graham Priest (1982). To Be and Not to Be: Dialectical Tense Logic. Studia Logica 41 (2-3):249 - 268.
Graham Priest (2002). Beyond the Limits of Thought. Oxford University Press.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.
Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
Graham Priest (2000). Logic: A Very Short Introduction. Oxford University Press.
David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.
Added to index2010-12-22
Total downloads27 ( #74,324 of 1,410,123 )
Recent downloads (6 months)8 ( #28,555 of 1,410,123 )
How can I increase my downloads?