{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:53:54Z","timestamp":1648623234455},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"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":[[2005,12]]},"DOI":"10.1007\/s11225-005-4651-y","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T13:28:32Z","timestamp":1132752512000},"page":"399-423","source":"Crossref","is-referenced-by-count":10,"title":["Admissibility of Cut in LC with Fixed Point Combinator"],"prefix":"10.1007","volume":"81","author":[{"given":"Katalin","family":"Bimb\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4651_CR1","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1093\/jigpal\/9.4.525","volume":"9","author":"K. BIMB\u00d3","year":"2001","unstructured":"BIMB\u00d3, K., \u2018Semantics for structurally free logics LC+\u2019, Logic Journal of IGPL 9:557\u2013571, 2001.","journal-title":"Logic Journal of IGPL"},{"key":"4651_CR2","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:403\u2013424, 1998.","journal-title":"Logic Journal of IGPL"},{"key":"4651_CR3","unstructured":"CHURCH, A., The Calculi of Lambda-conversion, Princeton University Press, 1st ed., 1941."},{"key":"4651_CR4","unstructured":"CURRY, H. B., Foundations of Mathematical Logic, McGraw-Hill Book Company, 1963."},{"key":"4651_CR5","unstructured":"CURRY, H. B., and R. FEYS, Combinatory Logic, vol. I, North-Holland, 1st ed., 1958."},{"key":"4651_CR6","unstructured":"CURRY, H. B., J. R. HINDLEY, and J. P. SELDIN, Combinatory Logic, vol. II, North-Holland, 1972."},{"key":"4651_CR7","first-page":"356","volume":"38","author":"J.M. DUNN","year":"1973","unstructured":"DUNN, J.M., \u2018A \u2018Gentzen system\u2019 for positive relevant implication, (abstract)\u2019, Journal of Symbolic Logic 38:356\u2013357, 1973.","journal-title":"Journal of Symbolic Logic"},{"key":"4651_CR8","doi-asserted-by":"crossref","unstructured":"DUNN, J. M., \u2018Relevance logic and entailment\u2019, in: D. Gabbay, and F. Guenthner (eds.) Handbook of Philosophical Logic, vol. 3, Reidel, 1986, pp. 117\u2013229.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"4651_CR9","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:505\u2013537, 1997.","journal-title":"Logic Journal of IGPL"},{"key":"4651_CR10","first-page":"288","volume":"1","author":"G. GENTZEN","year":"1964","unstructured":"GENTZEN, G., \u2018Investigations into logical deduction, I\u2019, American Philosophical Quarterly 1:288\u2013306, 1964.","journal-title":"American Philosophical Quarterly"},{"key":"4651_CR11","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1023\/B:STUD.0000027466.68014.52","volume":"76","author":"L. GOBLE","year":"2004","unstructured":"GOBLE, L., \u2018Combinator logic\u2019, Studio, Logica 76:17\u201366, 2004.","journal-title":"Studio, Logica"},{"key":"4651_CR12","unstructured":"HINDLEY, J. R., and J. P. SELDIN, Introduction to Combinators and \u03bb-calculus, Cambridge University Press, 1986."},{"key":"4651_CR13","unstructured":"KLEENE, S. C., Introduction to Metamathematics, Van Nostrand, 1952."},{"key":"4651_CR14","first-page":"189","volume":"1","author":"R. K. MEYER","year":"1976","unstructured":"MEYER, R. K., \u2018A general Gentzen system for implicational calculi\u2019, Relevance Logic Newsletter 1:189\u2013201, 1976.","journal-title":"Relevance Logic Newsletter"},{"key":"4651_CR15","doi-asserted-by":"crossref","unstructured":"NEGRI, S., and J. VON PLATO, Structural Proof Theory, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"4651_CR16","unstructured":"REVESZ, G.E., Lambda-calculus, Combinators and Functional Programming, Cambridge University Press, 1988."},{"key":"4651_CR17","unstructured":"SIPSER, M., Introduction to the Theory of Computation, PWS Publishing Company, 1997."},{"key":"4651_CR18","unstructured":"SMULLYAN, R. M., First-order Logic, Dover, 1995."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4651-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-4651-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-4651-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:38Z","timestamp":1559384678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-4651-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4651"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-4651-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}