{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214080},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429579"},{"type":"electronic","value":"9783540456537"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45653-8_24","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T04:57:30Z","timestamp":1181365050000},"page":"347-361","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":49,"title":["A Local System for Classical Logic"],"prefix":"10.1007","author":[{"given":"Kai","family":"Br\u00fcnnler","sequence":"first","affiliation":[]},{"given":"Alwen Fernanto","family":"Tiu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,20]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Kai Br\u00fcnnler and Alwen Fernanto Tiu. A local system for classical logic. Techni-cal Report WV-2001-02, Dresden University of Technology, 2001. On the web at: http:\/\/www.wv.inf.tu-dresden.de\/~kai\/LocalClassicalLogic.ps.gz .","DOI":"10.1007\/3-540-45653-8_24"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Gerhard Gentzen. Investigations into logical deduction. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68\u2013131. North-Holland, Amsterdam,1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"24_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":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"24_CR4","unstructured":"Jean-Yves Girard. Proof Theory and Logical Complexity, Volume I, volume 1 of Studies in Proof Theory. Bibliopolis, Napoli, 1987. Distributed by Elsevier."},{"key":"24_CR5","unstructured":"Alessio Guglielmi. A calculus of order and interaction. Technical ReportWV-99-04, Dresden University of Technology, 1999. Available on the web at http:\/\/www.wv.inf.tu-dresden.de\/~guglielm\/Research\/Gug\/Gug.pdf ."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Alessio Guglielmi and Lutz Stra\u00dfburger. Non-commutativity and MELL in the calculus of structures. Technical Report WV-01-04, Dresden University of Technology, 2001. Accepted by the Annual Conference of the European Association for Computer Science Logic, CSL\u201901.","DOI":"10.1007\/3-540-44802-0_5"},{"key":"24_CR7","unstructured":"Lutz Stra\u00dfburger. MELL in the calculus of structures. Technical Report WV-2001-03, Dresden University of Technology, 2001. On the web at: http:\/\/www.ki.inf.tu-dresden.de\/~lutz\/els.pdf ."},{"key":"24_CR8","unstructured":"Anne Sjerp Troelstra and Helmut Schwichtenberg. Basic Proof Theory. Cambridge University Press, 1996."},{"issue":"4","key":"24_CR9","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322276.322277","volume":"28","author":"W. Bibel","year":"1981","unstructured":"W. Bibel. On matrices with connections. Journal of the Association for Computing Machinery, 28(4):633\u2013645, 1981.","journal-title":"Journal of the Association for Computing Machinery"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45653-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T09:44:44Z","timestamp":1683884684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45653-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429579","9783540456537"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45653-8_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}