{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:20:24Z","timestamp":1757312424393},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,5,5]],"date-time":"2013-05-05T00:00:00Z","timestamp":1367712000000},"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":[[2014,2]]},"DOI":"10.1007\/s11225-013-9471-x","type":"journal-article","created":{"date-parts":[[2013,5,4]],"date-time":"2013-05-04T05:22:10Z","timestamp":1367644930000},"page":"185-217","source":"Crossref","is-referenced-by-count":4,"title":["Curry\u2019s Paradox, Generalized Modus Ponens Axiom and Depth Relevance"],"prefix":"10.1007","volume":"102","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,5]]},"reference":[{"key":"9471_CR1","unstructured":"Anderson, A. R., and N. D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, 1975."},{"issue":"2","key":"9471_CR2","doi-asserted-by":"crossref","first-page":"334","DOI":"10.2307\/2274169","volume":"49","author":"A. Avron","year":"1984","unstructured":"Avron A.: Relevant entailment\u2014semantics and formal systems.. Journal of Symbolic Logic 49(2), 334\u2013342 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"9471_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N. D., Jr., Entailment and relevance, Journal of Symbolic Logic 25:144\u2013146, 1960.","DOI":"10.2307\/2964210"},{"key":"9471_CR4","first-page":"9","volume":"25","author":"T. Brady R.","year":"1982","unstructured":"Brady R. T.: Completeness proofs for the systems RM3 and BN4.. Logique et Analyse 25, 9\u201332 (1982)","journal-title":"Logique et Analyse"},{"key":"9471_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00935740","volume":"43","author":"T. Brady R.","year":"1984","unstructured":"Brady R. T.: Depth relevance of some paraconsistent logics.. Studia Logica 43, 63\u201373 (1984)","journal-title":"Studia Logica"},{"key":"9471_CR6","first-page":"357","volume":"25","author":"T. Brady R.","year":"1992","unstructured":"Brady R. T.: Hierarchical semantics for relevant logics.. Journal of Philosophical Logic 25, 357\u2013374 (1992)","journal-title":"Journal of Philosophical Logic"},{"key":"9471_CR7","doi-asserted-by":"crossref","unstructured":"Brady, R. T., Relevant implication and the case for a weaker logic, Journal of Philosophical Logic 25:151\u2013183, 1996.","DOI":"10.1007\/BF00247002"},{"key":"9471_CR8","unstructured":"Brady, R. T. (ed.), Relevant Logics and Their Rivals, Vol. II, Ashgate, Aldershot, 2003."},{"key":"9471_CR9","unstructured":"Brady, R. T., Universal Logic, CSLI, Stanford, CA, 2006."},{"key":"9471_CR10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2266302","volume":"7","author":"B. Curry H.","year":"1942","unstructured":"Curry H. B.: The combinatory foundations of logic. Journal of Symbolic Logic 7, 49\u201364 (1942)","journal-title":"Journal of Symbolic Logic"},{"key":"9471_CR11","unstructured":"Gonz\u00e1lez, C., MaTest, 2012. Available at http:\/\/ceguel.es\/matest , Last accessed 12\/07\/2012."},{"key":"9471_CR12","doi-asserted-by":"crossref","unstructured":"Robles, G., and J. M. M\u00e9ndez, A general characterization of the variable-sharing property by means of logical matrices, Notre Dame Journal of Formal Logic 53(2):223\u2013244, 2012.","DOI":"10.1215\/00294527-1715707"},{"key":"9471_CR13","unstructured":"Robles, G., and J. M. M\u00e9ndez, Generalizing the depth relevance condition. Deep relevant logics not included in R-Mingle, Notre Dame Journal of Formal Logic, accepted."},{"key":"9471_CR14","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1023\/B:LOGI.0000036853.44128.8f","volume":"33","author":"S. Rogerson","year":"2006","unstructured":"Rogerson S., Restall G.: Routes to triviality. Journal of Philosophical Logic 33, 421\u2013436 (2006)","journal-title":"Journal of Philosophical Logic"},{"key":"9471_CR15","unstructured":"Routley, R., R. K. Meyer, V. Plumwood, and R. T. Brady, Relevant Logics and Their Rivals, Vol. I, Ridgeview Publishing Co., Atascadero, CA, 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9471-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9471-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9471-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:51Z","timestamp":1559384691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9471-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,5]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["9471"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9471-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,5]]}}}