Skip to main content
Log in

Gentzenization and decidability of some contraction-less relevant logics

  • 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

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. A. R. Anderson and N. D. Belnap, Jr., Entailment, The Logic of Relevance and Necessity, Vol. 1, Princeton, 1975.

  2. R. T.Brady, ‘Simple Consistency of a Set Theory Based on the Logic CSQ’, Notre Dame Journal of Formal Logic, Vol. 24 (1983), pp. 431–449.

    Google Scholar 

  3. R. T.Brady, ‘The Gentzenization and Decidability of RW’, Journal of Philosophical Logic, Vol. 19 (1990), pp. 35–73.

    Google Scholar 

  4. S.Giambrone, ‘TW+ and RW+ Are Decidable’, Journal of Philosophical Logic, Vol. 14 (1985), pp. 235–254.

    Google Scholar 

  5. R. K.Meyer, ‘Metacompleteness’, Notre Dame Journal of Formal Logic, Vol. 17 (1976), pp. 501–516.

    Google Scholar 

  6. R. K.Meyer, R.Routley and J. M.Dunn, ‘Curry's Paradox’, Analysis, Vol. 39 (1979), pp. 124–128.

    Google Scholar 

  7. R. Routley, R. K. Meyer, V. Plumwood and R. T. Brady, ‘Relevant Logics and Their Rivals’, Vol. 1, Ridgeview, 1982.

  8. J. K.Slaney, ‘A Metacompleteness Theorem for Contraction-Free Relevant Logics’, Studia Logica, Vol. 43 (1984), pp. 159–168.

    Google Scholar 

  9. J. K. Slaney, ‘General Logic’, Australasian Journal of Philosophy, forthcoming.

  10. R. B.White, “The Consistency of the Axiom of Comprehension in the Infinite-Valued Predicate Logic of Lukasiewicz”, Journal of Philosophical Logic Vol. 8 (1979), pp. 509–534.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

We adopt the terminology and bracketing conventions of [3], which in turn follows Dunn in [1], pp, 381–391, and Giambrone in [4]. We acknoledge the impetus given to this paper by Jonh Slaney who showed me a key to the dedidability argument, though the simplification used in this paper obviates the need for it.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Brady, R.T. Gentzenization and decidability of some contraction-less relevant logics. J Philos Logic 20, 97–117 (1991). https://doi.org/10.1007/BF00454743

Download citation

  • Issue Date:

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

Keywords

Navigation