{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:11:12Z","timestamp":1775038272404,"version":"3.50.1"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1007\/bf01050340","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T14:40:46Z","timestamp":1107182446000},"page":"111-137","source":"Crossref","is-referenced-by-count":7,"title":["Rules in relevant logic - I: Semantic classification"],"prefix":"10.1007","volume":"23","author":[{"given":"Ross T.","family":"Brady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Brady, R. T., ?Completeness Proofs for RM3 and BN4?,Logique et Analyse, 25e Ann\ufffde (1982), pp. 9?32."},{"key":"CR2","unstructured":"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]."},{"key":"CR3","first-page":"355","volume":"27","author":"R. T. Brady","year":"1984","unstructured":"Brady, R. T., ?Natural Deduction Systems for Some Quantified Relevant Logics?,Logique et Analyse, Vol. 27 (1984), pp. 355?377.","journal-title":"Logique et Analyse"},{"key":"CR4","volume-title":"Entailment, Classicality and the Paradoxes","author":"R. T. Brady","year":"1989","unstructured":"Brady, R. T., ?Entailment, Classicality and the Paradoxes?, delivered to the Australasian Association of Philosophy Conference, A.N.U., Canberra, 1989."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00211185","volume":"19","author":"R. T. Brady","year":"1990","unstructured":"Brady, R. T., ?The Gentzenization and Decidability of RW?,Journal of Philosophical Logic, Vol. 19 (1990), pp. 35?73.","journal-title":"Journal of Philosophical Logic"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00454743","volume":"20","author":"R. T. Brady","year":"1991","unstructured":"Brady, R. T., ?Gentzenization and Decidability of Some Contraction-less Relevant Logics?,Journal of Philosophical Logic, Vol. 20 (1991), pp. 97?117.","journal-title":"Journal of Philosophical Logic"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1305\/ndjfl\/1093890710","volume":"13","author":"M. J. Cresswell","year":"1972","unstructured":"Cresswell, M. J., ?The Completeness of S1 and some Related Systems?,Notre Dame Journal of Formal Logic, Vol. 13 (1972), pp. 485?496.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00249674","volume":"17","author":"K. Fine","year":"1988","unstructured":"Fine, K., ?Semantics for Quantified Relevance Logic?,Journal of Philosophical Logic, Vol. 17 (1988), pp. 27?59.","journal-title":"Journal of Philosophical Logic"},{"key":"CR9","unstructured":"Hughes, G. E., and Cresswell, M.,Introduction to Modal Logic, Methuen, 1968."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/malq.19730190306","volume":"19","author":"A. Kron","year":"1973","unstructured":"Kron, A., ?Deduction Theorems for Relevant Logics?,Zeitschrift f\ufffdr Math. Logik und Grundlagen der Math., vol. 19 (1973), pp. 85?92.","journal-title":"Zeitschrift f\ufffdr Math. Logik und Grundlagen der Math."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"R. K. Meyer","year":"1969","unstructured":"Meyer, R. K. and Dunn, J. M., ?E, R and ??,The Journal of Symbolic Logic, Vol. 34 (1969), pp. 460?474.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/S0049-237X(09)70492-6"},{"key":"CR13","unstructured":"Routley, R., Meyer, R. K., Phimwood, V. and Brady, R. T.,Relevant Logics and their Rivals, Vol. 1, Ridgeview, 1982."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Scott, D., ?Rules and Derived Rules?, in S. Stenlund (ed.),Logical Theory and Semantic Analysis, Reidel, 1974, pp. 147?161.","DOI":"10.1007\/978-94-010-2191-3_13"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01050340.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01050340\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01050340","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T14:08:02Z","timestamp":1586095682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01050340"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["BF01050340"],"URL":"https:\/\/doi.org\/10.1007\/bf01050340","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}