References
A. R. Anderson and N. D. Belnap, Jr., Entailment, The Logic of Relevance and Necessity, Vol. 1, Princeton, 1975.
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.
R. T.Brady, ‘The Gentzenization and Decidability of RW’, Journal of Philosophical Logic, Vol. 19 (1990), pp. 35–73.
S.Giambrone, ‘TW+ and RW+ Are Decidable’, Journal of Philosophical Logic, Vol. 14 (1985), pp. 235–254.
R. K.Meyer, ‘Metacompleteness’, Notre Dame Journal of Formal Logic, Vol. 17 (1976), pp. 501–516.
R. K.Meyer, R.Routley and J. M.Dunn, ‘Curry's Paradox’, Analysis, Vol. 39 (1979), pp. 124–128.
R. Routley, R. K. Meyer, V. Plumwood and R. T. Brady, ‘Relevant Logics and Their Rivals’, Vol. 1, Ridgeview, 1982.
J. K.Slaney, ‘A Metacompleteness Theorem for Contraction-Free Relevant Logics’, Studia Logica, Vol. 43 (1984), pp. 159–168.
J. K. Slaney, ‘General Logic’, Australasian Journal of Philosophy, forthcoming.
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.
Author information
Authors and Affiliations
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
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
Issue Date:
DOI: https://doi.org/10.1007/BF00454743