{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:32:22Z","timestamp":1694629942466},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,3,1]],"date-time":"2007-03-01T00:00:00Z","timestamp":1172707200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,1]],"date-time":"2007-03-01T00:00:00Z","timestamp":1172707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1007\/s11225-007-9027-z","type":"journal-article","created":{"date-parts":[[2007,4,3]],"date-time":"2007-04-03T08:35:29Z","timestamp":1175589329000},"page":"171-197","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combinatory Logic and the Semantics of Substructural Logics"],"prefix":"10.1007","volume":"85","author":[{"given":"Lou","family":"Goble","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,4,4]]},"reference":[{"key":"9027_CR1","unstructured":"Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, Entailment: The Logic of Relevance and Entailment, Vol. II, Princeton University Press, 1992."},{"key":"9027_CR2","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1006\/inco.1995.1086","volume":"119","author":"F. Barbanera","year":"1995","unstructured":"Barbanera F., Dezani-Ciancaglini M. and de\u2019Liguoro U. (1995). \u2018Intersection and Union Types: Syntax and Semantics\u2019 . Information and Computation 119: 202\u2013230","journal-title":"Information and Computation"},{"key":"9027_CR3","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"Barendregt H., Coppo M., and Dezani-Ciancaglini M. (1983). \u2018A Filter Lambda Model and the Completeness of Type Assignment\u2019. Journal of Symbolic Logic 48: 931\u2013940","journal-title":"Journal of Symbolic Logic"},{"key":"9027_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/B:LOGI.0000021709.73522.34","volume":"33","author":"K. Bimbo","year":"2004","unstructured":"Bimbo K., (2004). \u2018Semantics for Dual and Symmetric Combinatory Calculi\u2019. Journal of Philosophical Logic 33: 125\u2013153","journal-title":"Journal of Philosophical Logic"},{"key":"9027_CR5","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1093\/jigpal\/6.3.403","volume":"6","author":"K. Bimbo","year":"1998","unstructured":"Bimbo K. and Dunn J.M. (1998). \u2018Two Extensions of the Structurally Free Logic LC\u2019. Logic Journal of the IGPL 6: 403\u2013424","journal-title":"Logic Journal of the IGPL"},{"key":"9027_CR6","unstructured":"Curry, H. and R. Feys, Combinatory Logic, North Holland, 1958."},{"key":"9027_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/0304-3975(92)90306-Z","volume":"100","author":"M. Dezani-Ciancaglini","year":"1992","unstructured":"Dezani-Ciancaglini M., and Hindley J.R. (1992). \u2018Intersection Types for Combinatory Logic\u2019, Theoretical Computer Science 100: 303\u2013324","journal-title":"Theoretical Computer Science"},{"key":"9027_CR8","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1305\/ndjfl\/1074290712","volume":"43","author":"M. Dezani-Ciancaglini","year":"2002","unstructured":"Dezani-Ciancaglini M., Meyer R.K., and Motohama Y. (2002). \u2018The Semantics of Entailment Omega\u2019. Notre Dame Journal of Formal Logic 43: 129\u2013145","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9027_CR9","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., \u2018Relevance Logic and Entailment\u2019, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 1st ed., vol. III, Kluwer, 1986, pp. 117\u2013224.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"9027_CR10","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J.M. Dunn","year":"1997","unstructured":"Dunn J.M., and Meyer R.K. (1997). \u2018Combinators and Structurally Free Logic\u2019. Logic Journal of IGPL 5: 505\u2013537","journal-title":"Logic Journal of IGPL"},{"key":"9027_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1023\/B:STUD.0000027466.68014.52","volume":"76","author":"L. Goble","year":"2004","unstructured":"Goble L. (2004). \u2018Combinator Logics\u2019. Studia Logica76: 17\u201366","journal-title":"Studia Logica"},{"key":"9027_CR12","unstructured":"Hindley, J. R., and J. P. Seldin, Introduction to Combinators and \u03bb-Calculus, Cambridge University Press, 1986."},{"key":"9027_CR13","doi-asserted-by":"crossref","unstructured":"Mares, E. D., and R. K. Meyer, \u2018Relevant Logic\u2019, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, 2001, pp. 280\u2013308.","DOI":"10.1111\/b.9780631206934.2001.00016.x"},{"key":"9027_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.apal.2003.11.015","volume":"127","author":"R.K. Meyer","year":"2004","unstructured":"Meyer R.K. (2004). \u2018Ternary Relations and Relevant Logics\u2019. Annals of Pure and Applied Logic 127: 195\u2013217","journal-title":"Annals of Pure and Applied Logic"},{"key":"9027_CR15","first-page":"407","volume":"15","author":"R.K. Meyer","year":"1972","unstructured":"Meyer R.K., and Routley R. (1972). \u2018Algebraic Analysis of Entailment I\u2019. Logique et Analyse 15: 407\u2013428","journal-title":"Logique et Analyse"},{"key":"9027_CR16","doi-asserted-by":"crossref","unstructured":"Pal, K., and R. K. Meyer \u2018Basic Relevant Theories for Combinators at Levels I and II\u2019, Australasian Journal of Logic, 3: 14\u201332, 2005; http:\/\/www.philosophy.unimelb.edu.au\/ajl\/2005.","DOI":"10.26686\/ajl.v3i0.1770"},{"key":"9027_CR17","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R. Routley","year":"1972","unstructured":"Routley R., and Meyer R.K. (1972). \u2018The Semantics of Entailment III\u2019. Journal of Philosophical Logic 1: 192\u2013208","journal-title":"Journal of Philosophical Logic"},{"key":"9027_CR18","unstructured":"Routley R., R. K., Meyer, V. Plumwood, and R. Brady, Relevant Logics and their Rivals, Ridgeview Pub. Co., 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9027-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-007-9027-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9027-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9027-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T04:30:31Z","timestamp":1652848231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-007-9027-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["9027"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9027-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3]]},"assertion":[{"value":"14 June 2005","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2005","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 March 2006","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2007","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}