{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:15Z","timestamp":1725664695602},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:06Z","timestamp":1330297206000},"page":"156-166","source":"Crossref","is-referenced-by-count":0,"title":["The undecidability of second order linear affine logic"],"prefix":"10.1007","author":[{"given":"Alexei P.","family":"Kopylov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"V.M. Abrusci","year":"1991","unstructured":"V.M. Abrusci. Phase semantics and sequent calculus for pure noncommutative classical linear prepositional logic. Jornal of Symbolic logic 56, 1403\u20131451. 1991.","journal-title":"Jornal of Symbolic logic"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50, 1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","unstructured":"M.I. Kanovich. The Direct Simulation of Minsky machine in Linear logic. To appear in Advances in Linear Logic, edited by J.-Y. Girard, Y. Lafont & L. Regnier, London Mathematical Society Lecture Note Series, Cambridge University Press. 1995."},{"key":"17_CR4","unstructured":"M.I. Kanovich. Second order Lambek is undecidable. Message to LL list. 3 July 1995."},{"key":"17_CR5","volume-title":"Decidability of Linear Affine Logic","author":"A.P. Kopylov","year":"1995","unstructured":"A.P. Kopylov. Decidability of Linear Affine Logic. 10-th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, IEEE Computer Society Press. 1995."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Y. Lafont. The Undecidability of Second Order Linear Logic without Exponentials. To apear in Jornal of Symbolic Logic. Available by anonymous ftp from lmd.univ-mrs.fr as pub\/lafont\/undecid. [dvi.ps]. Z. 1995.","DOI":"10.2307\/2275674"},{"key":"17_CR7","unstructured":"Y. Lafont. The Finite Model Property for Various Fragments of Linear Logic. Submited to publication. Available by anonymous ftp from lmd.univ-mrs.fr as pub\/lafont\/model.[dvi.ps].Z. 1995."},{"key":"17_CR8","unstructured":"Y. Lafont, A. Scedrov. The Undecidability of Second Order Multiplicative Linear Logic. To apear in Information and Computation. Available by anonymous ftp from lmd.univ-mrs.fr as pub\/lafont\/m112. [dvi,ps].Z. 1995."},{"key":"17_CR9","volume-title":"Decision Problem for Second Order Linear Logic","author":"P. Lincoln","year":"1995","unstructured":"P. Lincoln, A. Scedrov, N. Shankar. Decision Problem for Second Order Linear Logic. 10-th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, IEEE Computer Society Press. 1995."},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"295","DOI":"10.4153\/CMB-1961-032-6","volume":"4","author":"J. Lambek","year":"1961","unstructured":"J. Lambek. How to program an infinite abacus. Canadian Math. Bulletin 4. 295\u2013302. 1961.","journal-title":"Canadian Math. Bulletin"},{"issue":"3","key":"17_CR11","doi-asserted-by":"crossref","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"M. Minsky","year":"1961","unstructured":"M. Minsky. Recursive unsolvability of Post's problem of\u2019 tag\u2019 and other topics in the theory of Turing machines. Annals of Mathematics, 74:3:437\u2013455, 1961.","journal-title":"Annals of Mathematics"},{"key":"17_CR12","unstructured":"A.S. Troelstra. Lectures on Linear Logic. CSLI lecture notes; no.29, 1992"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:12Z","timestamp":1605647712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}