{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:58:48Z","timestamp":1725562728993},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152047"},{"type":"electronic","value":"9783642152054"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15205-4_17","type":"book-chapter","created":{"date-parts":[[2010,8,13]],"date-time":"2010-08-13T10:48:24Z","timestamp":1281696504000},"page":"185-199","source":"Crossref","is-referenced-by-count":6,"title":["Classical and Intuitionistic Subexponential Logics Are Equally Expressive"],"prefix":"10.1007","author":[{"given":"Kaustuv","family":"Chaudhuri","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"17_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.-M. Andreoli","year":"1992","unstructured":"Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation\u00a02(3), 297\u2013347 (1992)","journal-title":"J. of Logic and Computation"},{"key":"17_CR2","unstructured":"Barber, A., Plotkin, G.: Dual intuitionistic linear logic. Technical Report ECS-LFCS-96-347, University of Edinburgh (1996)"},{"key":"17_CR3","unstructured":"Chang, B.-Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University (December 2003)"},{"key":"17_CR4","unstructured":"Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University, Technical report CMU-CS-06-162 (December 2006)"},{"key":"17_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-540-89439-1_33","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"K. Chaudhuri","year":"2008","unstructured":"Chaudhuri, K.: Focusing strategies in the sequent calculus of synthetic connectives. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol.\u00a05330, pp. 467\u2013481. Springer, Heidelberg (2008)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Chaudhuri, K.: Classical and intuitionistic subexponential logics are equally expressive. Technical report, INRIA (2010)","DOI":"10.1007\/978-3-642-15205-4_17"},{"issue":"2-3","key":"17_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10817-007-9091-0","volume":"40","author":"K. Chaudhuri","year":"2008","unstructured":"Chaudhuri, K., Pfenning, F., Price, G.: A logical characterization of forward and backward chaining in the inverse method. J. of Automated Reasoning\u00a040(2-3), 133\u2013177 (2008)","journal-title":"J. of Automated Reasoning"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V. Danos","year":"1993","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: The structure of exponentials: Uncovering the dynamics of linear logic proofs. In: Mundici, D., Gottlob, G., Leitsch, A. (eds.) KGC 1993. LNCS, vol.\u00a0713, pp. 159\u2013171. Springer, Heidelberg (1993)"},{"key":"17_CR9","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. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"17_CR10","unstructured":"Laurent, O.: Etude de la polarisation en logique. Th\u00e8se de doctorat, Universit\u00e9 Aix-Marseille\u00a0II (March 2002)"},{"issue":"46","key":"17_CR11","doi-asserted-by":"publisher","first-page":"4747","DOI":"10.1016\/j.tcs.2009.07.041","volume":"410","author":"C. Liang","year":"2009","unstructured":"Liang, C., Miller, D.: Focusing and polarization in linear, intuitionistic, and classical logics. Theoretical Computer Science\u00a0410(46), 4747\u20134768 (2009)","journal-title":"Theoretical Computer Science"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Liang, C., Miller, D.: A unified sequent calculus for focused proofs. In: LICS-24, pp. 355\u2013364 (2009)","DOI":"10.1109\/LICS.2009.47"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Miller, D.: Finding unity in computational logic. In: ACM-BCS-Visions (April 2010)","DOI":"10.14236\/ewic\/VOCS2010.3"},{"key":"17_CR14","unstructured":"Nigam, V.: Exploiting non-canonicity in the sequent calculus. PhD thesis, Ecole Polytechnique (September 2009)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Nigam, V., Miller, D.: Algorithmic specifications in linear logic with subexponentials. In: PPDP, pp. 129\u2013140 (2009)","DOI":"10.1145\/1599410.1599427"},{"issue":"4","key":"17_CR16","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1093\/logcom\/1.4.537","volume":"1","author":"H. Schellinx","year":"1991","unstructured":"Schellinx, H.: Some syntactical observations on linear logic. Journal of Logic and Computation\u00a01(4), 537\u2013559 (1991)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15205-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:02:27Z","timestamp":1606168947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15205-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152047","9783642152054"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15205-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}