{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:36:37Z","timestamp":1765485397088},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,10,21]],"date-time":"2009-10-21T00:00:00Z","timestamp":1256083200000},"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":[[2010,4]]},"DOI":"10.1007\/s10992-009-9117-7","type":"journal-article","created":{"date-parts":[[2009,10,20]],"date-time":"2009-10-20T08:34:23Z","timestamp":1256027663000},"page":"139-158","source":"Crossref","is-referenced-by-count":7,"title":["A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism"],"prefix":"10.1007","volume":"39","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,21]]},"reference":[{"key":"9117_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2268750","volume":"21\/2","author":"W Ackermann","year":"1956","unstructured":"Ackermann, W. (1956). Begr\u00fcndung einer strengen Implikation. Journal of Symbolic Logic, 21\/2, 113\u2013128.","journal-title":"Journal of Symbolic Logic"},{"key":"9117_CR2","volume-title":"Entailment. The logic of relevance and necessity (Vol. I)","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D. Jr. (1975). Entailment. The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press."},{"key":"9117_CR3","volume-title":"Entailment. The logic of relevance and necessity (Vol. II)","author":"AR Anderson","year":"1992","unstructured":"Anderson, A. R., Belnap, N. D. Jr., & Dunn, J. M. (1992). Entailment. The logic of relevance and necessity (Vol. II). Princeton; Princeton University Press."},{"key":"9117_CR4","unstructured":"Bimb\u00f3, K. (2007). Relevance logics. In D. Jacquette (Ed.), Philosophy of logic, Handbook of the philosophy of sciences (Vol. 5, pp. 723\u2013789)."},{"key":"9117_CR5","unstructured":"Bimb\u00f3, K., & Dunn, J. M. (2008). Generalized galois logics: Relational semantics of nonclassical logical Calculi. CSLI Lecture Notes (Vol. 188). Standford: CSLI."},{"key":"9117_CR6","first-page":"355","volume":"27","author":"RT Brady","year":"1984","unstructured":"Brady, R. T. (1984). Natural deduction systems for some quantified relevant logics. Logique et Analyse, 27, 355\u2013377.","journal-title":"Logique et Analyse"},{"key":"9117_CR7","doi-asserted-by":"crossref","first-page":"4","DOI":"10.26686\/ajl.v1i0.1760","volume":"1","author":"RT Brady","year":"2003","unstructured":"Brady, R. T. (2003). Semantic decision procedures for some relevant logics. Australasian Journal of Logic, 1, 4\u201327.","journal-title":"Australasian Journal of Logic"},{"key":"9117_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0022481200092161","volume":"35","author":"JM Dunn","year":"1970","unstructured":"Dunn, J. M. (1970). Algebraic completeness results for R-Mingle and its extensions. Journal of Symbolic Logic, 35, 1\u201313.","journal-title":"Journal of Symbolic Logic"},{"key":"9117_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic (Vol. 3)","author":"JM Dunn","year":"1986","unstructured":"Dunn, J. M. (1986). Relevance logic and entailment. In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 3, pp. 117\u2013229). Dordrecht: D. Reidel."},{"key":"9117_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0018431","volume-title":"Logics in AI: European Workshop JELIA \u201890 (LNCS 478)","author":"JM Dunn","year":"1991","unstructured":"Dunn, J. M. (1991). Gaggle theory: An abstraction of Galois connections and residuation with applications to negation, implication and various logical operators. In J. van Eijck (Ed.), Logics in AI: European Workshop JELIA \u201890 (LNCS 478) (pp. 31\u201351). New York: Springer."},{"key":"9117_CR11","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-94-010-0526-5_3","volume-title":"Logic, meaning and computation. Essays in memory of Alonzo Church","author":"JM Dunn","year":"2001","unstructured":"Dunn, J. M. (2001). A representation of relation algebras using Routley-Meyer frames. In C. A. Anderson, & M. Zeleny (Eds.), Logic, meaning and computation. Essays in memory of Alonzo Church (pp. 77\u2013108). Dordrecht: Kluwer."},{"key":"9117_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of philosophical logic (Vol. 6)","author":"JM Dunn","year":"2002","unstructured":"Dunn, J. M., & Restall, G. (2002). Relevance logics. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 1\u2013128). Dordrecht: Kluwer."},{"key":"9117_CR13","first-page":"280","volume-title":"The blackwell guide to philosophycal logic","author":"ED Mares","year":"2001","unstructured":"Mares, E. D., & Meyer, R. K. (2001). Relevant logics. In L. Goble (Ed.), The blackwell guide to philosophycal logic (pp. 280\u2013308). Oxford: Blackwell."},{"key":"9117_CR14","first-page":"138","volume":"5","author":"RK Meyer","year":"1976","unstructured":"Meyer, R. K. (1976). Ackermann, Takenti and Schnitt: \u03b3 for higher relevant logics. Bulletin of the Section Logic, 5, 138\u2013174.","journal-title":"Bulletin of the Section Logic"},{"key":"9117_CR15","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/2270909","volume":"34","author":"RK Meyer","year":"1969","unstructured":"Meyer, R. K., & Dunn, J. M. (1969). E, R and \u03b3. Journal of Symbolic Logic, 34, 460\u2013474.","journal-title":"Journal of Symbolic Logic"},{"key":"9117_CR16","first-page":"407","volume":"15","author":"RK Meyer","year":"1972","unstructured":"Meyer, R. K., & Routley, R. (1972). Algebraic analysis of entailment I. Logique et Analyse, 15, 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"9117_CR17","first-page":"87","volume":"33\/2","author":"G Robles","year":"2004","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2004). The logic B and the reductio axioms. Bulletin of the Section of Logic, 33\/2, 87\u201394.","journal-title":"Bulletin of the Section of Logic"},{"key":"9117_CR18","first-page":"89","volume":"17\/1","author":"G Robles","year":"2008","unstructured":"Robles, G., & M\u00e9ndez, J. M. (2008). The basic constructive logic for a weak sense of consistency. Journal of Logic Language and Information, 17\/1, 89\u2013107.","journal-title":"Journal of Logic Language and Information"},{"key":"9117_CR19","unstructured":"Robles, G., & M\u00e9ndez, J. M. (submitted). A Routley and Meyer semantics for relevant logics including TWR plus the disjunctive syllogism."},{"key":"9117_CR20","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Meyer, R. K. (1972). Semantics of entailment III. Journal of Philosophical Logic, 1, 192\u2013208.","journal-title":"Journal of Philosophical Logic"},{"key":"9117_CR21","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0049-237X(08)71541-6","volume-title":"Truth, syntax and modality","author":"R Routley","year":"1973","unstructured":"Routley, R., & Meyer, R. K. (1973). Semantics of entailment I. In H. Leblanc (Ed.), Truth, syntax and modality (pp. 199\u2013243). Amsterdam: North Holland."},{"key":"9117_CR22","volume-title":"Relevant logics and their rivals (Vol. 1)","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982a). Relevant logics and their rivals (Vol. 1). Atascadero: Ridgeview."},{"key":"9117_CR23","volume-title":"Relevant logics and their rivals, Appendix I (Vol. 1)","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R. K., Plumwood, V., & Brady R. T. (1982b). Semantics of entailment IV. In R. Routley et al. (Eds.), Relevant logics and their rivals, Appendix I (Vol. 1). Atascadero: Ridgeview."},{"key":"9117_CR24","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"J Slaney","year":"1987","unstructured":"Slaney, J. (1987). Reduced models for relevant logics without WI. Notre Dame Journal of Formal Logic, 28, 395\u2013407.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9117_CR25","unstructured":"Slaney, J. (1995). MaGIC, matrix generator for implication connectives: Version 2.1, notes and guide. Canberra: Australian National University. http:\/\/users.rsise.anu.edu.au\/~jks ."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9117-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-009-9117-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9117-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:49Z","timestamp":1559352589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-009-9117-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,21]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9117"],"URL":"https:\/\/doi.org\/10.1007\/s10992-009-9117-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,21]]}}}