{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:03Z","timestamp":1740123903014,"version":"3.37.3"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T00:00:00Z","timestamp":1531958400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s10992-018-9466-1","type":"journal-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T04:22:17Z","timestamp":1531974137000},"page":"279-303","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Disentangling Structural Connectives or Life Without Display Property"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1120-3124","authenticated-orcid":false,"given":"Sergey","family":"Drobyshevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,19]]},"reference":[{"key":"9466_CR1","unstructured":"Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In Hodges, W., Hyland, M., Steinhorn, C., Truss, J. (Eds.) Logic: from Foundation to Applications, European Logic Colloquium (pp. 1\u201332). Oxford: Oxford University Press."},{"issue":"4","key":"9466_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N.D. (1982). Display logic. Journal of Philosophical Logic, 11(4), 375\u2013417. \n                    https:\/\/doi.org\/10.1007\/bf00284976\n                    \n                  .","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9466_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1305\/ndjfl\/1093635329","volume":"31","author":"ND Belnap","year":"1989","unstructured":"Belnap, N.D. (1989). Linear logic displayed. Notre Dame Journal of Formal Logic, 31(1), 14\u201325. \n                    https:\/\/doi.org\/10.1305\/ndjfl\/1093635329\n                    \n                  .","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9466_CR4","doi-asserted-by":"publisher","unstructured":"Belnap, N.D. (1996). The display problem. In Wansing, H. (Ed.) Proof Theory of Modal Logic, Applied Logic Series, (Vol. 2 pp. 79\u201392). Dordrecht: Kluwer Academic Publishers. \n                    https:\/\/doi.org\/10.1007\/978-94-017-2798-3_6\n                    \n                  .","DOI":"10.1007\/978-94-017-2798-3_6"},{"key":"9466_CR5","doi-asserted-by":"publisher","unstructured":"van Benthem, J. (2001). Correspondence theory. In Gabbay, D.M., & Guenther, F. (Eds.) Handbook of Philosophical Logic, (Vol. 3 pp. 325\u2013408): Springer. \n                    https:\/\/doi.org\/10.1007\/978-94-017-0454-0_4\n                    \n                  .","DOI":"10.1007\/978-94-017-0454-0_4"},{"issue":"5","key":"9466_CR6","doi-asserted-by":"publisher","first-page":"763","DOI":"10.2977\/prims\/1195169271","volume":"27","author":"S Blamey","year":"1991","unstructured":"Blamey, S., & Humberstone, L. (1991). A perspective on modal sequent logic. Publications of the Research Institute for Mathematical Sciences, 27(5), 763\u2013782. \n                    https:\/\/doi.org\/10.2977\/prims\/1195169271\n                    \n                  .","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"issue":"6","key":"9466_CR7","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s00153-009-0137-3","volume":"48","author":"K Br\u00fcnnler","year":"2009","unstructured":"Br\u00fcnnler, K. (2009). Deep sequent systems for modal logic. Archive for Mathematical Logic, 48(6), 551\u2013577. \n                    https:\/\/doi.org\/10.1007\/s00153-009-0137-3\n                    \n                  .","journal-title":"Archive for Mathematical Logic"},{"key":"9466_CR8","volume-title":"Modal logic oxford logic guides, Vol. 35","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., & Zakharyaschev, M. (1997). Modal logic oxford logic guides Vol. 35. Oxford: Clarendon Press."},{"issue":"3","key":"9466_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2874775","volume":"17","author":"A Ciabattoni","year":"2016","unstructured":"Ciabattoni, A., & Ramanayake, R. (2016). Power and limits of structural display rules. ACM Transactions on Computational Logic, 17(3), 1\u201339. \n                    https:\/\/doi.org\/10.1145\/2874775\n                    \n                  .","journal-title":"ACM Transactions on Computational Logic"},{"issue":"6","key":"9466_CR10","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1007\/s11225-014-9566-z","volume":"102","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Ramanayake, R., Wansing, H. (2014). Hypersequent and display calculi \u2013 a unified perspective. Studia Logica, 102(6), 1245\u20131294. \n                    https:\/\/doi.org\/10.1007\/s11225-014-9566-z\n                    \n                  .","journal-title":"Studia Logica"},{"key":"9466_CR11","doi-asserted-by":"publisher","unstructured":"Cintula, P., & Paoli, F. (2016). Is multiset consequence trivial? Synthese, Special issue: Substructural Approaches to Paradox pp. 1\u201325. \n                    https:\/\/doi.org\/10.1007\/s11229-016-1209-7\n                    \n                  .","DOI":"10.1007\/s11229-016-1209-7"},{"issue":"3","key":"9466_CR12","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.apal.2011.10.004","volume":"163","author":"W Conradie","year":"2012","unstructured":"Conradie, W., & Palmigiano, A. (2012). Algorithmic correspondence and canonicity for distributive modal logic. Annals of Pure and Applied Logic, 163 (3), 338\u2013376. \n                    https:\/\/doi.org\/10.1016\/j.apal.2011.10.004\n                    \n                  .","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"9466_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K Do\u0161en","year":"1988","unstructured":"Do\u0161en, K. (1988). Sequent-systems and groupoid models I. Studia Logica, 47 (4), 353\u2013385. \n                    https:\/\/doi.org\/10.1007\/bf00671566\n                    \n                  .","journal-title":"Studia Logica"},{"key":"9466_CR14","doi-asserted-by":"publisher","unstructured":"Drobyshevich, S. (2017). On displaying negative modalities. Logic and Logical Philosophy. \n                    https:\/\/doi.org\/10.12775\/llp.2017.023\n                    \n                  . Online-first.","DOI":"10.12775\/llp.2017.023"},{"key":"9466_CR15","doi-asserted-by":"publisher","unstructured":"Dunn, J.M. (1991). Gaggle theory: an abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators. In van Eijck, J. (Ed.) Logics in AI: European workshop on logics in artificial intelligence JELIA 1990, lecture notes in computer science, (Vol. 478 pp. 31\u201351). Berlin: Springer. \n                    https:\/\/doi.org\/10.1007\/bfb0018431\n                    \n                  .","DOI":"10.1007\/bfb0018431"},{"issue":"3","key":"9466_CR16","doi-asserted-by":"publisher","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, M., Palmigiano, A. (2005). Canonical extensions and relational completeness of some substructural logics. The Journal of Symbolic Logic, 70(3), 713\u2013740. \n                    https:\/\/doi.org\/10.2178\/jsl\/1122038911\n                    \n                  .","journal-title":"The Journal of Symbolic Logic"},{"issue":"1-2","key":"9466_CR17","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00153-011-0254-7","volume":"51","author":"R Dyckhoff","year":"2011","unstructured":"Dyckhoff, R., & Negri, S. (2011). Proof analysis in intermediate logics. Archive for Mathematical Logic, 51(1-2), 71\u201392. \n                    https:\/\/doi.org\/10.1007\/s00153-011-0254-7\n                    \n                  .","journal-title":"Archive for Mathematical Logic"},{"issue":"6","key":"9466_CR18","doi-asserted-by":"publisher","first-page":"2067","DOI":"10.1093\/logcom\/exu064","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A. (2016). Multi-type display calculus for propositional dynamic logic. Journal of Logic and Computation, 26(6), 2067\u20132104. \n                    https:\/\/doi.org\/10.1093\/logcom\/exu064\n                    \n                  .","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"9466_CR19","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.1093\/logcom\/exu068","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V. (2016). Multi-type display calculus for dynamic epistemic logic. Journal of Logic and Computation, 26(6), 2017\u20132065. \n                    https:\/\/doi.org\/10.1093\/logcom\/exu068\n                    \n                  .","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9466_CR20","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., & Harding, J. (2001). Bounded lattice expansions. Journal of Algebra, 238(1), 345\u2013371. \n                    https:\/\/doi.org\/10.1006\/jabr.2000.8622\n                    \n                  .","journal-title":"Journal of Algebra"},{"issue":"1","key":"9466_CR21","doi-asserted-by":"publisher","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M Gehrke","year":"2004","unstructured":"Gehrke, M., & J\u00f3nsson, B. (2004). Bounded distributive lattice expansions. Mathematica Scandinavica, 94(1), 13\u201345. \n                    https:\/\/doi.org\/10.7146\/math.scand.a-14428\n                    \n                  .","journal-title":"Mathematica Scandinavica"},{"key":"9466_CR22","unstructured":"Gor\u00e9, R. (1995). Solving the display problem via residuation. Tech. rep., Automated Reasoning Project TR-ARP-12-95 Australian National University."},{"key":"9466_CR23","unstructured":"Gor\u00e9, R. (1995). A uniform display system for intuitionistic and dual intuitionistic logic. Tech. rep., Automated Reasoning Project TR-ARP-6-95 Australian National University."},{"issue":"3","key":"9466_CR24","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. (1998). Substructural logics on display. Logic Journal of IGPL, 6 (3), 451\u2013504. \n                    https:\/\/doi.org\/10.1093\/jigpal\/6.3.451\n                    \n                  .","journal-title":"Logic Journal of IGPL"},{"key":"9466_CR25","doi-asserted-by":"publisher","unstructured":"Gor\u00e9, R. (2000). Dual intuitionistic logic revisited. In Dyckhoff, R. (Ed.) TABLEAUX 2000: Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Computer Science, (Vol. 1847 pp. 252\u2013267): Springer. \n                    https:\/\/doi.org\/10.1007\/10722086_21\n                    \n                  .","DOI":"10.1007\/10722086_21"},{"key":"9466_CR26","doi-asserted-by":"publisher","unstructured":"Gor\u00e9, R., Postniece, L., Tiu, A. (2011). On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Logical Methods in Computer Science 7(2). \n                    https:\/\/doi.org\/10.2168\/lmcs-7(2:8)2011\n                    \n                  .","DOI":"10.2168\/lmcs-7(2:8)2011"},{"key":"9466_CR27","unstructured":"Gor\u00e9, R., & Ramanayake, R. (2012). Labelled tree sequents, tree hypersequents and nested (deep) sequents. In Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L. (Eds.) Advances in modal logic, (Vol. 9 pp. 279\u2013299). London: College Publications."},{"key":"9466_CR28","doi-asserted-by":"publisher","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z. (2016). Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation. \n                    https:\/\/doi.org\/10.1093\/logcom\/exw022\n                    \n                  . Open access.","DOI":"10.1093\/logcom\/exw022"},{"key":"9466_CR29","doi-asserted-by":"publisher","unstructured":"Kracht, M. (1996). Power and weakness of the modal display calculus. In Wansing, H. (Ed.) Proof Theory of Modal Logic, Applied Logic Series. \n                    https:\/\/doi.org\/10.1007\/978-94-017-2798-3_7\n                    \n                  , (Vol. 2 pp. 93\u2013121). Dordrecht: Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-2798-3_7"},{"issue":"04","key":"9466_CR30","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.2178\/jsl\/1067620195","volume":"68","author":"H Kushida","year":"2003","unstructured":"Kushida, H., & Okada, M. (2003). A proof-theoretic study of the correspondence of classical logic and modal logic. The Journal of Symbolic Logic, 68(04), 1403\u20131414. \n                    https:\/\/doi.org\/10.2178\/jsl\/1067620195\n                    \n                  .","journal-title":"The Journal of Symbolic Logic"},{"issue":"4","key":"9466_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2528930","volume":"14","author":"O Lahav","year":"2013","unstructured":"Lahav, O., & Avron, A. (2013). A unified semantic framework for fully structural propositional sequent systems. ACM Transactions on Computational Logic, 14(4), 1\u201333. \n                    https:\/\/doi.org\/10.1145\/2528930\n                    \n                  .","journal-title":"ACM Transactions on Computational Logic"},{"key":"9466_CR32","doi-asserted-by":"crossref","unstructured":"Lambek, J. (1961). On the calculus of syntactic types. In Jackobson, R. (Ed.) Structure of Language and its Mathematical Aspects (pp. 166\u2013178). Providence.","DOI":"10.1090\/psapm\/012\/9972"},{"issue":"5-6","key":"9466_CR33","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S. (2005). Proof analysis in modal logic. Journal of Philosophical Logic, 34(5-6), 507\u2013544. \n                    https:\/\/doi.org\/10.1007\/s10992-005-2267-3\n                    \n                  .","journal-title":"Journal of Philosophical Logic"},{"key":"9466_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural proof theory","author":"S Negri","year":"2001","unstructured":"Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge: Cambridge University Press."},{"key":"9466_CR35","doi-asserted-by":"crossref","unstructured":"Onishi, T. (2015). Substructural negations. The Australasian Journal of Logic 12(4).","DOI":"10.26686\/ajl.v12i4.2225"},{"issue":"6","key":"9466_CR36","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1007\/s11225-016-9676-x","volume":"104","author":"T Onishi","year":"2016","unstructured":"Onishi, T. (2016). Understanding negation implicationally in the relevant logic R. Studia Logica, 104(6), 1267\u20131285. \n                    https:\/\/doi.org\/10.1007\/s11225-016-9676-x\n                    \n                  .","journal-title":"Studia Logica"},{"key":"9466_CR37","doi-asserted-by":"publisher","unstructured":"Poggiolesi, F. (2009). The method of tree-hypersequents for modal propositional logic. In Makinson, D., Malinowski, J., Wansing, H. (Eds.) Towards Mathematical Philosophy, Trends in Logic, (Vol. 28 pp. 31\u201351). Netherlands: Springer. \n                    https:\/\/doi.org\/10.1007\/978-1-4020-9084-4_3\n                    \n                  .","DOI":"10.1007\/978-1-4020-9084-4_3"},{"issue":"3","key":"9466_CR38","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-008-9425-4","volume":"173","author":"F Poggiolesi","year":"2010","unstructured":"Poggiolesi, F. (2010). Display calculi and other modal calculi: a comparison. Synthese, 173(3), 259\u2013279. \n                    https:\/\/doi.org\/10.1007\/s11229-008-9425-4\n                    \n                  .","journal-title":"Synthese"},{"key":"9466_CR39","first-page":"900","volume":"48","author":"G Pottinger","year":"1983","unstructured":"Pottinger, G. (1983). Uniform, cut-free formulations of t, s4 and s5 (abstract). The Journal of Symbolic Logic, 48, 900\u2013901.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9466_CR40","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1093\/logcom\/exu061","volume":"25","author":"R Ramanayake","year":"2014","unstructured":"Ramanayake, R. (2014). Embedding the hypersequent calculus in the display calculus. Journal of Logic and Computation, 25(3), 921\u2013942. \n                    https:\/\/doi.org\/10.1093\/logcom\/exu061\n                    \n                  .","journal-title":"Journal of Logic and Computation"},{"key":"9466_CR41","unstructured":"Restall, G. (1995). Display logic and gaggle theory. Tech. rep., Reports on Mathematical Logic."},{"issue":"2","key":"9466_CR42","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1023\/A:1017998605966","volume":"27","author":"G Restall","year":"1998","unstructured":"Restall, G. (1998). Displaying and deciding substructural logics 1: Logics with contraposition. Journal of Philosophical Logic, 27(2), 179\u2013216. \n                    https:\/\/doi.org\/10.1023\/a:1017998605966\n                    \n                  .","journal-title":"Journal of Philosophical Logic"},{"key":"9466_CR43","doi-asserted-by":"publisher","unstructured":"Sahlqvist, H. (1975). Completeness and correspondence in the first and second order semantics for modal logic. In Proceedings of the Third Scandinavian Logic Symposium (pp. 110\u2013143): Elsevier. \n                    https:\/\/doi.org\/10.1016\/s0049-237x(08)70728-6\n                    \n                  .","DOI":"10.1016\/s0049-237x(08)70728-6"},{"issue":"2","key":"9466_CR44","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"H Wansing","year":"1994","unstructured":"Wansing, H. (1994). Sequent calculi for normal modal propositional logics. Journal of Logic and Computation, 4(2), 125\u2013142. \n                    https:\/\/doi.org\/10.1093\/logcom\/4.2.125\n                    \n                  .","journal-title":"Journal of Logic and Computation"},{"key":"9466_CR45","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying modal logic, trends in logic, Vol. 3","author":"H Wansing","year":"1998","unstructured":"Wansing, H. (1998). Displaying modal logic, trends in logic Vol. 3. Netherlands: Springer. \n                    https:\/\/doi.org\/10.1007\/978-94-017-1280-4\n                    \n                  ."},{"issue":"2-3","key":"9466_CR46","doi-asserted-by":"publisher","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H Wansing","year":"2008","unstructured":"Wansing, H. (2008). Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics, 18(2-3), 341\u2013364. \n                    https:\/\/doi.org\/10.3166\/jancl.18.341-364\n                    \n                  .","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9466_CR47","unstructured":"Wansing, H. (2010). Proofs, disproofs and thier duals. In Beklemishev, L., Goranko, V., Shekhtman, V. (Eds.) Advances in modal logic, (Vol. 8 pp. 483\u2013505). London: College Publications."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9466-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9466-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9466-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T06:41:07Z","timestamp":1569220867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9466-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,19]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["9466"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9466-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2018,7,19]]},"assertion":[{"value":"22 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}