Skip to main content
SpringerLink
Log in

Rules in relevant logic - I: Semantic classification

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Brady, R. T., “Completeness Proofs for RM3 and BN4”,Logique et Analyse, 25e Année (1982), pp. 9–32.

  2. Brady, R. T., Meyer, R. K., Mortensen, C. and Routley, R., “Algebraic Analyses of Relevant Affixing Logics, and Other Polish Connections”, Research paper 16, Logic Group, Research School of Social Sciences, A.N.U., 1983, and to appear in Vol. 2 of [13].

  3. Brady, R. T., “Natural Deduction Systems for Some Quantified Relevant Logics”,Logique et Analyse, Vol. 27 (1984), pp. 355–377.

    Google Scholar 

  4. Brady, R. T., “Entailment, Classicality and the Paradoxes”, delivered to the Australasian Association of Philosophy Conference, A.N.U., Canberra, 1989.

    Google Scholar 

  5. Brady, R. T., “The Gentzenization and Decidability of RW”,Journal of Philosophical Logic, Vol. 19 (1990), pp. 35–73.

    Google Scholar 

  6. Brady, R. T., “Gentzenization and Decidability of Some Contraction-less Relevant Logics”,Journal of Philosophical Logic, Vol. 20 (1991), pp. 97–117.

    Google Scholar 

  7. Cresswell, M. J., “The Completeness of S1 and some Related Systems”,Notre Dame Journal of Formal Logic, Vol. 13 (1972), pp. 485–496.

    Google Scholar 

  8. Fine, K., “Semantics for Quantified Relevance Logic”,Journal of Philosophical Logic, Vol. 17 (1988), pp. 27–59.

    Google Scholar 

  9. Hughes, G. E., and Cresswell, M.,Introduction to Modal Logic, Methuen, 1968.

  10. Kron, A., “Deduction Theorems for Relevant Logics”,Zeitschrift für Math. Logik und Grundlagen der Math., vol. 19 (1973), pp. 85–92.

    Google Scholar 

  11. Meyer, R. K. and Dunn, J. M., “E, R and γ”,The Journal of Symbolic Logic, Vol. 34 (1969), pp. 460–474.

    Google Scholar 

  12. Routley, R., “Problems and Solutions in the Semantics of Quantified Relevant Logics” in A. I. Arruda, R. Chuaqui, and N. C. A. Da Costa (eds.),Mathematical Logic in Latin America, North-Holland, 1979.

  13. Routley, R., Meyer, R. K., Phimwood, V. and Brady, R. T.,Relevant Logics and their Rivals, Vol. 1, Ridgeview, 1982.

  14. Scott, D., “Rules and Derived Rules”, in S. Stenlund (ed.),Logical Theory and Semantic Analysis, Reidel, 1974, pp. 147–161.

Download references

Author information

Authors and Affiliations

  1. LaTrobe University, Bundoora, Victoria, Australia

    Ross T. Brady

Authors
  1. Ross T. Brady
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Brady, R.T. Rules in relevant logic - I: Semantic classification. J Philos Logic 23, 111–137 (1994). https://doi.org/10.1007/BF01050340

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01050340

Keywords

Search

Navigation