Journal of Symbolic Logic

Normalized natural deduction systems for some relevant logics I: The logic DW

Ross T. Brady

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Article information

J. Symbolic Logic Volume 71, Issue 1 (2006), 35-66.

First available in Project Euclid: 22 February 2006

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier


Brady, Ross T. Normalized natural deduction systems for some relevant logics I: The logic DW. J. Symbolic Logic 71 (2006), no. 1, 35--66. doi:10.2178/jsl/1140641162.

Export citation


  • A. R. Anderson Completeness theorems for the systems E of entailment and EQ of entailment with quantification, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201--216.
  • A. R. Anederson and N. D. Belnap Jr. Entailment, the logic of relevance and necessity, vol. 1, Princeton University Press,1975, [ENT1].
  • R. T. Brady Natural deduction systems for some quantified relevant logics, Logique et Analyse, vol. 27 (1984), pp. 355--377.
  • -------- Gentzenization and decidability of some contraction-less relevant logics, Journal of Philosophical Logic, vol. 20 (1991), pp. 97--117.
  • -------- Relevant implication and the case for a weaker logic, Journal of Philosophical Logic, vol. 25 (1996), pp. 151--183.
  • -------- Relevant logics and their rivals. Vol.2: A continuation of the work of R. Sylvan, R. K. Meyer, V. Plumwood and R. T. Brady, Ashgate, Aldershot,2003, [RLR2].
  • -------- Universal logic, CSLI, Stanford,2006, [UL].
  • D. Prawitz Natural deduction. a proof-theoretical study, Almqvist and Wiksell, Stockholm,1965.
  • R. Routley, R. K. Meyer, V. Plumwood, and R. T. Brady Relevant logics and their rivals, vol. 1, Ridgeview, Atascadero,1982, [RLR1].
  • J. K. Slaney A metacompleteness theorem for contraction-free relevant logics, Studia Logica, vol. 43 (1984), pp. 159--168.
  • -------- Reduced models for relevant logics without WI, Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 395--407.