{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T15:31:54Z","timestamp":1722958314331},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,11,27]],"date-time":"2014-11-27T00:00:00Z","timestamp":1417046400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s10992-014-9336-4","type":"journal-article","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T06:32:12Z","timestamp":1417415532000},"page":"453-471","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["External Curries"],"prefix":"10.1007","volume":"44","author":[{"given":"Heinrich","family":"Wansing","sequence":"first","affiliation":[]},{"given":"Graham","family":"Priest","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,27]]},"reference":[{"key":"9336_CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"9336_CR2","unstructured":"Beall, J. (2013). Curry\u2019s Paradox In Zalta, E. N. (Ed.), The Stanford Encyclopedia of Philosophy. Spring Edition. http:\/\/plato.stanford.edu\/archives\/spr2013\/entries\/curry-paradox ."},{"key":"9336_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.5840\/jphil2013110336","volume":"110","author":"J Beall","year":"2013","unstructured":"Beall, J., & Murzi, J. (2013). Two Flavors of Curry\u2019s Paradox. The Journal of Philosophy, 110, 143\u2013165.","journal-title":"The Journal of Philosophy"},{"key":"9336_CR4","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01050340","volume":"23","author":"RT Brady","year":"1994","unstructured":"Brady, R.T. (1994). Rules in Relevant Logic\u2013I: Semantic Classification. Journal of Philosophical Logic, 23, 111\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"9336_CR5","unstructured":"Cook, R.T. (2014). There is No Paradox of Logical Validity. Logica Universalis. doi: 10.1007\/s11787014-0094-4 ."},{"key":"9336_CR6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2269292","volume":"7","author":"HB Curry","year":"1942","unstructured":"Curry, H.B. (1942). The Inconsistency of Certain Formal Logics. Journal of Symbolic Logic, 7, 115\u2013117.","journal-title":"Journal of Symbolic Logic"},{"key":"9336_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K Do\u0161en","year":"1988","unstructured":"Do\u0161en, K. (1988). Sequent Systems and Groupoid Models I. Studia Logica, 47, 353\u2013389.","journal-title":"Studia Logica"},{"key":"9336_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01973339","volume":"11","author":"F Kutschera von","year":"1968","unstructured":"von Kutschera, F. (1968). Die Vollst\u00e4ndigkeit des Operatorensystems {\u00ac,\u2227,\u2228,\u2283} f\u00fcr die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Archiv f\u00fcr mathematische Logik und Grundlagenforschung, 11, 3\u201316.","journal-title":"Archiv f\u00fcr mathematische Logik und Grundlagenforschung"},{"key":"9336_CR9","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s10992-013-9268-4","volume":"43","author":"E Mares","year":"2014","unstructured":"Mares, E., & Paoli, F. (2014). Logical Consequence and the Paradoxes. Journal of Philosophical Logic, 43, 439\u2013469.","journal-title":"Journal of Philosophical Logic"},{"key":"9336_CR10","doi-asserted-by":"crossref","unstructured":"Priest, G. (2013) Fusion and Confusion. Topoi. doi: 10.1007\/s11245-013-9175-x .","DOI":"10.1007\/s11245-013-9175-x"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9336-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9336-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9336-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:52Z","timestamp":1559338192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9336-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,27]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["9336"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9336-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,27]]}}}