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

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

Dates
First available: 22 February 2006

Permanent link to this document
http://projecteuclid.org/euclid.jsl/1140641162

Digital Object Identifier
doi:10.2178/jsl/1140641162

Mathematical Reviews number (MathSciNet)
MR2210055

Zentralblatt MATH identifier
05038887

Citation

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


Export citation

References

  • 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.