References
N. D.Belnap, ‘Display Logic’, Journal of Philosophical Logic 11 (1982), pp. 375–417.
R. T. Brady, ‘The Decidability of RW’, Paper delivered to the 3rd Paraconsistency Conference, Canberra, 1988. To appear.
J. M.Dunn, ‘Consecution Formulation of Positive R with Co-Tenability and t’, A. R.Anderson and N. D.Belnap (eds.), Entailment: The Logic of Relevance and Necessity, Vol I, Princeton, P. University Press, 1975, pp. 381–391.
J. M.Dunn, ‘A “Gentzen System” for Positive Relevant Implication’, abstract, Journal of Symbolic Logic 38 (1973), pp. 356–357. (Essentially an abstract of [3].)
S.Giambrone, ‘TW + and RW + are Decidable’, Journal of Philosophical Logic 14 (1985), pp. 235–254.
H. Ono and Y. Komori, ‘Logics Without the Contraction Rule’, Journal of Symbolic Logic 50, pp. 169–201.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Slaney, J. Solution to a problem of Ono and Komori. J Philos Logic 18, 103–111 (1989). https://doi.org/10.1007/BF00296176
Issue Date:
DOI: https://doi.org/10.1007/BF00296176