{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:42Z","timestamp":1755220962729,"version":"3.43.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1023\/a:1005252431462","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"285-296","source":"Crossref","is-referenced-by-count":5,"title":["Investigation into Combinatory Systems with Dual Combinators"],"prefix":"10.1007","volume":"66","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"322840_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1006\/inco.1996.0025","volume":"125","author":"F. Barbanera","year":"1996","unstructured":"Barbanera, F., and S. Berardi, \u2018A symmetric lambda calculus for classical program extraction\u2019, Information and Computation 125 (1996), 103-117.","journal-title":"Information and Computation"},{"key":"322840_CR2","doi-asserted-by":"crossref","unstructured":"Bimb\u00d3, K., \u2018Dual identity combinators\u2019, (a paper presented at the 20th World Congress of Philosophy, Aug. 1998, Boston (MA)).","DOI":"10.5840\/wcp20-paideia19988175"},{"key":"322840_CR3","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1093\/jigpal\/6.3.403","volume":"6","author":"K. Bimb\u00d3","year":"1998","unstructured":"Bimb\u00d3, K., and J.M. Dunn, \u2018Two extensions of the structurally free logic LC\u2019, Logic Journal of IGPL 6 (1998), 403-424.","journal-title":"Logic Journal of IGPL"},{"key":"322840_CR4","doi-asserted-by":"crossref","first-page":"509","DOI":"10.2307\/2370619","volume":"52","author":"H.B. Curry","year":"1930","unstructured":"Curry, H.B., \u2018Grundlagen der kombinatorischen Logik\u2019, American Journal of Mathematics 52 (1930), 509-536, 789\u2013834.","journal-title":"American Journal of Mathematics"},{"key":"322840_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic. III: Alternatives to classical logic","author":"J.M. Dunn","year":"1986","unstructured":"Dunn, J.M., \u2018Relevance logic and entailment\u2019, in D. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic. III: Alternatives to classical logic, Reidel, Dordrecht, 1986, pages 117-229."},{"key":"322840_CR6","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J.M. Dunn","year":"1997","unstructured":"Dunn, J.M., and R.K. Meyer, \u2018Combinators and structurally free logic\u2019, Logic Journal of IGPL 5 (1997), 505-537.","journal-title":"Logic Journal of IGPL"},{"key":"322840_CR7","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1017\/S1079898600007241","volume":"4","author":"R.K. Meyer","year":"1998","unstructured":"Meyer, R.K., K. Bimb\u00d3 and J.M. Dunn, \u2018Dual combinators bite the dust\u2019 (abstract), The Bulletin of Symbolic Logic 4 (1998), 463-464. (Presented by title at the Annual Conference of the Australasian Association for Logic, July 4\u20136, 1997, University of Auckland, New Zealand.)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"322840_CR8","first-page":"355","volume-title":",From Frege to G\u00f6del. A source book in mathematical logic","author":"M. Sch\u00d6nfinkel","year":"1967","unstructured":"Sch\u00d6nfinkel, M., \u2018On the building blocks of mathematical logic\u2019, in J. van Heijenoort (ed.) ,From Frege to G\u00f6del. A source book in mathematical logic, Harvard University Press, Cambridge (MA), 1967, pages 355-366."},{"key":"322840_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198534501.001.0001","volume-title":"Diagonalization and Self-Reference","author":"R.M. Smullyan","year":"1994","unstructured":"Smullyan, R.M., Diagonalization and Self-Reference, Clarendon, Oxford, 1994."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005252431462.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005252431462\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005252431462.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:28:07Z","timestamp":1754630887000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005252431462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["322840"],"URL":"https:\/\/doi.org\/10.1023\/a:1005252431462","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}