{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:39:48Z","timestamp":1725745188421},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399916"},{"type":"electronic","value":"9783642399923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_18","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T06:08:18Z","timestamp":1376460498000},"page":"194-210","source":"Crossref","is-referenced-by-count":0,"title":["Substructural Logic of Proofs"],"prefix":"10.1007","author":[{"given":"Hidenori","family":"Kurokawa","sequence":"first","affiliation":[]},{"given":"Hirohiko","family":"Kushida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"Artemov, S.N.: Explicit provability and constructive semantics. The Bulletin of Symbolic Logic\u00a07(1), 1\u201336 (2001)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A.: The semantics and proof theory of linear logic. Theoretical Computer Science\u00a057, 161\u2013184 (1988)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF00260931","volume":"21","author":"K. Do\u0161en","year":"1992","unstructured":"Do\u0161en, K.: Modal translations in substructural logics. Journal of Philosophical Logic\u00a021(3), 283\u2013336 (1992)","journal-title":"Journal of Philosophical Logic"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Girard, J.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","first-page":"65","volume":"32","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger Akademie der Wissenschaften Wien, Mathematisch-naturwiss. Klasse\u00a032, 65\u201366 (1932)","journal-title":"Anzeiger Akademie der Wissenschaften Wien, Mathematisch-naturwiss. Klasse"},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/s00224-009-9209-3","volume":"46","author":"R. Kuznets","year":"2010","unstructured":"Kuznets, R.: Self-referential justifications in epistemic logic. Theory of Computing Systems\u00a046(4), 636\u2013661 (2010)","journal-title":"Theory of Computing Systems"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Paoli, F.: Substructural Logics: A Primer. Trends in Logic, vol.\u00a013. Kluwer Academic Pub. (2002)","DOI":"10.1007\/978-94-017-3179-9"},{"key":"18_CR8","unstructured":"Pulver, C.: Self-referentiality in contraction-free fragments of modal logic S4. MS. Thesis (2010)"},{"key":"18_CR9","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North Holland (1987)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-642-13182-0_38","volume-title":"Computer Science \u2013 Theory and Applications","author":"J. Yu","year":"2010","unstructured":"Yu, J.: Prehistoric phenomena and self-referentiality. In: Ablayev, F., Mayr, E.W. (eds.) CSR 2010. LNCS, vol.\u00a06072, pp. 384\u2013396. Springer, Heidelberg (2010)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-642-35722-0_29","volume-title":"Logical Foundations of Computer Science","author":"J. Yu","year":"2013","unstructured":"Yu, J.: Self-referentiality in the brouwer\u2013heyting\u2013kolmogorov semantics of intuitionistic logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol.\u00a07734, pp. 401\u2013414. Springer, Heidelberg (2013)"},{"key":"18_CR12","unstructured":"Yu, J.: Prehistoric graph of modal sequent proof and non-self-referential realization (unpublished manuscript)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T11:37:50Z","timestamp":1558006670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}