{"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":1725745188631},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_10","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T06:08:18Z","timestamp":1376460498000},"page":"81-95","source":"Crossref","is-referenced-by-count":4,"title":["Structural Extensions of Display Calculi: A General Recipe"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[]},{"given":"Revantha","family":"Ramanayake","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A Constructive Analysis of RM. J. of Symbolic Logic\u00a052(4), 939\u2013951 (1987)","journal-title":"J. of Symbolic Logic"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N.D. Belnap","year":"1982","unstructured":"Belnap, N.D.: Display Logic. Journal of Philosophical Logic\u00a011(4), 375\u2013417 (1982)","journal-title":"Journal of Philosophical Logic"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge Tracts in Theoretical Computer Science (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"6","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1007\/s11225-012-9449-0","volume":"100","author":"J. Brotherston","year":"2012","unstructured":"Brotherston, J.: Bunched Logics Displayed. Studia Logica\u00a0100(6), 1223\u20131254 (2012)","journal-title":"Studia Logica"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, pp. 229\u2013240 (2008)","DOI":"10.1109\/LICS.2008.39"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-04027-6_14","volume-title":"Computer Science Logic","author":"A. Ciabattoni","year":"2009","unstructured":"Ciabattoni, A., Stra\u00dfburger, L., Terui, K.: Expanding the realm of systematic proof theory. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL 2009. LNCS, vol.\u00a05771, pp. 163\u2013178. Springer, Heidelberg (2009)"},{"key":"10_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Dordrecht, Holland (1983)"},{"key":"10_CR8","unstructured":"Gentzen, G.: The collected papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics, Amsterdam (1969); Szabo, M.E. (ed.)"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Substructural Logics on Display. Logic Journal of the IGPL\u00a06(3), 451\u2013504 (1998)","journal-title":"Logic Journal of the IGPL"},{"issue":"5","key":"10_CR10","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/jigpal\/6.5.669","volume":"6","author":"R. Gor\u00e9","year":"1998","unstructured":"Gor\u00e9, R.: Gaggles, Gentzen and Galois: how to display your favourite substructural logic. Logic Journal of the IGPL\u00a06(5), 669\u2013694 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Gor\u00e9, R., Postniece, L., Tiu, A.: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. Logical Methods in Computer Science\u00a07(2) (2011)","DOI":"10.2168\/LMCS-7(2:8)2011"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","author":"A. Guglielmi","year":"2007","unstructured":"Guglielmi, A.: A system of interaction and structure. ACM Transaction on Computational Logic\u00a08(1), 1\u201364 (2007)","journal-title":"ACM Transaction on Computational Logic"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P., Pym, D.: The Logic of Bunched Implications. Bulletin of Symbolic Logic\u00a05(2), 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Kracht, M.: Power and weakness of the modal display calculus. In: Proof Theory of Modal Logic, pp. 93\u2013121. Kluwer (1996)","DOI":"10.1007\/978-94-017-2798-3_7"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-642-36039-8_14","volume-title":"ICLA 2013","author":"B. Lellmann","year":"2013","unstructured":"Lellmann, B., Pattinson, D.: Constructing Cut Free Sequent Systems With Context Restrictions Based on Classical or Intuitionistic Logic. In: Lodaya, K. (ed.) ICLA 2013. LNCS, vol.\u00a07750, pp. 148\u2013160. Springer, Heidelberg (2013)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Negri, S.: Proof analysis in non-classical logics. In: Logic Colloquium 2005, pp. 107\u2013128 (2007)","DOI":"10.1017\/CBO9780511546464.010"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Wansing, H.: Displaying modal logic. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-017-1280-4"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H. Wansing","year":"2008","unstructured":"Wansing, H.: Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics\u00a018, 341\u2013364 (2008)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"10_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1004218110879","volume":"27","author":"F. Wolter","year":"1998","unstructured":"Wolter, F.: On logics with coimplication. Journal of Philosophical Logic\u00a027(4), 353\u2013387 (1998)","journal-title":"Journal of Philosophical Logic"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T11:40:07Z","timestamp":1558006807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}