{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:31Z","timestamp":1725456391135},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013046","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:02:07Z","timestamp":1132711327000},"page":"30-41","source":"Crossref","is-referenced-by-count":4,"title":["On resolution in fragments of classical linear logic (extended abstract)"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Harland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. J.","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"496","volume-title":"Linear Objects: Logical Processes with Built-in Inheritance","author":"J.-M. Andreoli","year":"1990","unstructured":"Andreoli, J.-M., Pareschi, R. Linear Objects: Logical Processes with Built-in Inheritance. Proceedings of the International Conference on Logic Programming, pp. 496\u2013510, Jerusalem, June, 1990. MIT Press, 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.2307\/2266612","volume":"17","author":"H.B. Curry","year":"1952","unstructured":"Curry, H.B. The permutabilily of rules in the classical inferential calculus. J. Symb. Log. 17, pp. 245\u2013248, 1952.","journal-title":"J. Symb. Log."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y. Linear Logic. Theor. Comp. Sci. 50, pp. 1\u2013102, 1987.","journal-title":"Theor. Comp. Sci."},{"key":"3_CR4","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P. Proofs and Types. Cambridge University Press, 1989."},{"key":"3_CR5","first-page":"304","volume-title":"Proceedings of the International Logic Programming Symposium","author":"J. Harland","year":"1991","unstructured":"Harland, James and Pym, David. The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract). Proceedings of the International Logic Programming Symposium, San Diego, October 1991, pp. 304\u2013318. MIT Press, 1991. Preliminary version available as Report ECS-LFCS-90-124, University of Edinburgh, November 1990."},{"key":"3_CR6","volume-title":"Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract","author":"J. Hodas","year":"1991","unstructured":"Hodas, J., Miller, D. Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract. Proc. 6th Annual IEEE Symposium on Logic in Computer Science. Amsterdam, July 1991. IEEE Computer Society Press, 1991."},{"key":"3_CR7","unstructured":"Kleene, S.C. Mathematical Logic. Wiley and Sons, 1968."},{"key":"3_CR8","first-page":"1","volume":"10","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C. Permutabilily of inferences in Gentzen's calculi LK and LJ. Memoirs of the American Mathematical Society 10, pp. 1\u201326, 1952.","journal-title":"Memoirs of the American Mathematical Society"},{"issue":"1&2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","volume":"6","author":"D. Miller","year":"1989","unstructured":"Miller, D. A Logical Analysis of Modules in Logic Programming. J. Log. Prog. 6(1& 2), pp. 79\u2013108, 1989.","journal-title":"J. Log. Prog."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Miller, D., Nadathur, G., Pfenning, F., Scedrov, A. Uniform Proofs as a Foundation for Logic Programming, Annals of Pure and Applied Logic 51, pp. 125\u2013157, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR11","unstructured":"Read, S. Relevant Logic. Basil Blackwell, 1988."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013046.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:06:52Z","timestamp":1607335612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0013046","relation":{},"subject":[]}}