Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW

Journal of Symbolic Logic 71 (1):35 - 66 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1140641162

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
Review: Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady, Relevant Logics and their Rivals. Part I. The Basic Philosophical and Semantical Theory. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp. [REVIEW]Daniel H. Cohen - 1989 - Journal of Symbolic Logic 54 (1):293-296.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Implicational logics in natural deduction systems.E. G. K. López-Escobar - 1982 - Journal of Symbolic Logic 47 (1):184-186.
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp. [REVIEW]Nicholas Griffin - 2005 - Bulletin of Symbolic Logic 11 (1):70-72.
Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
Review: Paul Strauss, Some Systems of Natural Deduction. [REVIEW]Dag Prawitz - 1970 - Journal of Symbolic Logic 35 (3):466-466.

Analytics

Added to PP
2010-08-24

Downloads
69 (#303,967)

6 months
6 (#851,135)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Distribution in the logic of meaning containment and in quantum mechanics.Ross T. Brady & Andrea Meinander - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 223--255.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.

View all 10 citations / Add more citations

References found in this work

Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Universal Logic.Ross Brady - 2007 - Studia Logica 87 (2-3):359-362.
Reduced models for relevant logics without ${\rm WI}$.John K. Slaney - 1987 - Notre Dame Journal of Formal Logic 28 (3):395-407.

View all 10 references / Add more references