{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T01:24:50Z","timestamp":1777080290549,"version":"3.51.4"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf01053260","type":"journal-article","created":{"date-parts":[[2005,1,27]],"date-time":"2005-01-27T15:44:20Z","timestamp":1106840660000},"page":"565-585","source":"Crossref","is-referenced-by-count":6,"title":["Rules in relevant logic ? II: Formula representation"],"prefix":"10.1007","volume":"52","author":[{"given":"Ross T.","family":"Brady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1002\/malq.19600060709","volume":"6","author":"A. R. Anderson","year":"1960","unstructured":"A. R. Anderson,Completeness theorems for the systems E of entailment and EQ of entailment with quantification,Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 6 (1960), pp. 201?216.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"CR2","unstructured":"A. R. Anderson andN. D. Belnap Jr,Entailment. The Logic of Relevance and Necessity, vol. 1. Princeton U. P., 1975."},{"key":"CR3","first-page":"355","volume":"27","author":"R. T. Brady","year":"1984","unstructured":"R. T. Brady,Natural deduction systems for some quantified relevant logics,Logique et Analyse,27 (1984), pp. 355?377.","journal-title":"Logique et Analyse"},{"key":"CR4","unstructured":"R. T. Brady,Entailment, classicality and the paradoxes, paper delivered to Australasian Association of Philosophy Conference held at 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":"R. T. Brady,Gentzenization and decidability of RW,Journal of Philosophical Logic 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":"R. T. Brady,Gentzenization and decidability of some contradictionless relevant logics,Journal of Philosophical Logic 20 (1991), pp. 97?117.","journal-title":"Journal of Philosophical Logic"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"R. T. Brady,Rules in relevant logic ? I: Semantic Classification,Journal of Philosophical Logic, forthcoming.","DOI":"10.1007\/BF01050340"},{"key":"CR8","unstructured":"R. T. Brady,Universal logic, in preparation."},{"key":"CR9","unstructured":"A. Church,The weak theory of implication, in Menne, Wilheimy, Angsil (eds),Kontrolliertes Denken, Untersuchungen zum Logikkalk\u00fcl und der Logik der Einzelwissenschaften, Munich 1951, pp. 22 ? 37."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic 3","author":"J. M. Dunn","year":"1986","unstructured":"J. M. Dunn,Relevance logic and entailment, in D. Gabbay, F. Guenthner (eds),Handbook of Philosophical Logic 3, D. Reidel Publ. Co., Dordrecht 1986, pp. 117?224."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/malq.19730190306","volume":"19","author":"A. Kron","year":"1973","unstructured":"A. Kron,Deduction theorems for relevant logics,Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 19 (1973), pp. 85?92.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1002\/malq.19760220135","volume":"22","author":"A. Kron","year":"1976","unstructured":"A. Kron,Deduction theorems for T, E and R reconsidered,Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 22 (1976), pp. 261?264.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1305\/ndjfl\/1093891202","volume":"15","author":"R. K. Meyer","year":"1974","unstructured":"R. K. Meyer, J. M. Dunn andH. Leblanc,Completeness of relevant quantification theories,Notre Dame Journal of Formal Logic 15 (1974), pp. 97?121.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/00048408212340551","volume":"60","author":"R. K. Meyer","year":"1982","unstructured":"R. K. Meyer andM. A. McRobbie,Multisets and relevant implication I and II,Australasian Journal of Philosophy 60 (1982), pp. 107?139 and 265 ? 281.","journal-title":"Australasian Journal of Philosophy"},{"key":"CR15","first-page":"56","volume":"2","author":"S-K. Moh","year":"1950","unstructured":"S-K. Moh,The deduction theorems and two new logical systems,Methodos 2 (1950), pp. 56?75.","journal-title":"Methodos"},{"key":"CR16","unstructured":"R. Routley, R. K. Meyer, R. K. Plumwood andR. T. Brady,Relevant Logics and their Rivals I, Ridgeview 1982."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.2307\/2274261","volume":"49","author":"A. Urquhart","year":"1984","unstructured":"A. Urquhart,The undecidability of entailment and relevant implication,Journal of Symbolic Logic 49 (1984), pp. 1059?1073.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053260.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01053260\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01053260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T04:50:15Z","timestamp":1556599815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01053260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF01053260"],"URL":"https:\/\/doi.org\/10.1007\/bf01053260","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}