{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:14:39Z","timestamp":1760202879036,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T00:00:00Z","timestamp":1582588800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T00:00:00Z","timestamp":1582588800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"NWO vidi grant","award":["016.138.314"],"award-info":[{"award-number":["016.138.314"]}]},{"name":"NWO Aspasia grant","award":["015.008.054"],"award-info":[{"award-number":["015.008.054"]}]},{"name":"The Fundamental Research Funds of Shandong University","award":["11090079614065"],"award-info":[{"award-number":["11090079614065"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s11225-020-09898-y","type":"journal-article","created":{"date-parts":[[2020,2,25]],"date-time":"2020-02-25T11:02:58Z","timestamp":1582628578000},"page":"1-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Semi De Morgan Logic Properly Displayed"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4845-3821","authenticated-orcid":false,"given":"Giuseppe","family":"Greco","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5868-7704","authenticated-orcid":false,"given":"Fei","family":"Liang","sequence":"additional","affiliation":[]},{"given":"M. Andrew","family":"Moshier","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,25]]},"reference":[{"issue":"1","key":"9898_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5(1):25\u201363, 1996.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9898_CR2","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1017\/S175502031700034X","volume":"11","author":"M B\u00edlkov\u00e1","year":"2018","unstructured":"B\u00edlkov\u00e1, M., G. Greco, A. Palmigiano, A. Tzimoulis, and N. Wijnberg, The logic of resources and capabilities. Review of Symbolic Logic 11(2):371\u2013410, 2018.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"9898_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G Birkhoff","year":"1970","unstructured":"Birkhoff, G., and J. D. Lipson. Heterogeneous algebras. Journal of Combinatorial Theory 8(1):115\u2013133, 1970.","journal-title":"Journal of Combinatorial Theory"},{"issue":"2","key":"9898_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/malq.19990450206","volume":"45","author":"SA Celani","year":"1999","unstructured":"Celani, S. A., Distributive lattices with a negation operator. Mathematical Logic Quarterly 45(2):207\u2013218, 1999.","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"9898_CR5","first-page":"205","volume":"2","author":"SA Celani","year":"2007","unstructured":"Celani, S. A. Representation for some algebras with a negation operator. Contributions to Discrete Mathematics 2(2):205\u2013213, 2007.","journal-title":"Contributions to Discrete Mathematics"},{"key":"9898_CR6","doi-asserted-by":"crossref","unstructured":"Chen, J., G. Greco, A. Palmigiano, and A. Tzimoulis. Non normal logics: semantic analysis and proof theory. In International Workshop on Logic, Language, Information, and Computation, pp. 99\u2013118. Springer, Berlin, 2019.","DOI":"10.1007\/978-3-662-59533-6_7"},{"issue":"3","key":"9898_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2874775","volume":"17","author":"A Ciabattoni","year":"2016","unstructured":"Ciabattoni, A., and R. Ramanayake, Power and limits of structural display rules. ACM Transactions on Computational Logic (TOCL) 17(3):1\u201339, 2016.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"9","key":"9898_CR8","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1016\/j.apal.2019.04.003","volume":"170","author":"W Conradie","year":"2019","unstructured":"Conradie, W., and A. Palmigiano. Algorithmic correspondence and canonicity for non-distributive logics. Annals of Pure and Applied Logic 170(9):923\u2013974, 2019.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"6","key":"9898_CR9","doi-asserted-by":"publisher","first-page":"2067","DOI":"10.1093\/logcom\/exu064","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella, S., G. Greco, A. Kurz, and A. Palmigiano, Multi-type display calculus for propositional dynamic logic. Journal of Logic and Computation 26(6):2067\u20132104, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9898_CR10","unstructured":"Frittella, S., G. Greco, A. Kurz, A. Palmigiano, and V. Sikimi\u0107, Multi-type sequent calculi. In A. Indrzejczak, J. Kaczmarek, and M. Zawidski, (eds.), Proceedings Trends in Logic XIII, volume 13, 2014, pp. 81\u201393."},{"issue":"6","key":"9898_CR11","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.1093\/logcom\/exu068","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella, S., G. Greco, A. Kurz, A. Palmigiano, and V. Sikimi\u0107, A multi-type display calculus for dynamic epistemic logic. Journal of Logic and Computation 26(6):2017\u20132065, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9898_CR12","doi-asserted-by":"crossref","unstructured":"Frittella, S., G. Greco, A. Palmigiano, and F. Yang, A multi-type calculus for inquisitive logic. In J. V\u00e4\u00e4n\u00e4nen, \u00c5. Hirvonen, and R. de Queiroz, (eds.), Logic, Language, Information, and Computation, WoLLIC 2016, volume 9803 of LNCS Springer, Berlin, 2016 pp. 215\u2013233.","DOI":"10.1007\/978-3-662-52921-8_14"},{"issue":"1","key":"9898_CR13","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., and J. Harding, Bounded lattice expansions. Journal of Algebra 238(1):345\u2013371, 2001.","journal-title":"Journal of Algebra"},{"issue":"2","key":"9898_CR14","first-page":"197","volume":"52","author":"M Gehrke","year":"2000","unstructured":"Gehrke, M., and B. J\u00f3nsson, Monotone bouded distributive lattice expansions. Mathematica Japonicae 52(2):197\u2013213, 2000.","journal-title":"Mathematica Japonicae"},{"key":"9898_CR15","doi-asserted-by":"crossref","unstructured":"Gehrke, M., and B. J\u00f3nsson, Bounded distributive lattice expansions. Mathematica Scandinavica, 2004, pp. 13\u201345.","DOI":"10.7146\/math.scand.a-14428"},{"issue":"1\u20133","key":"9898_CR16","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M Gehrke","year":"2005","unstructured":"Gehrke, M., H. Nagahashi, and Y. Venema, A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic 131(1-3):65\u2013102, 2005.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9898_CR17","doi-asserted-by":"crossref","unstructured":"Greco, G., P. Jipsen, K. Manoorkar, A. Palmigiano, and A. Tzimoulis. Logics for rough concept analysis. In A. Khan and A. Manuel, (eds.), Logic and Its Applications, ICLA 2019, volume 11600 of LNCS. Springer, Berlin, 2019 pp. 144\u2013159.","DOI":"10.1007\/978-3-662-58771-3_14"},{"key":"9898_CR18","doi-asserted-by":"crossref","unstructured":"Greco, G., A. Kurz, and A. Palmigiano, Dynamic epistemic logic displayed. In H. Huang, D. Grossi, and O. Roy, (eds.), Logic, Rationality and Interaction, LORI 2013, volume 8196 of LNCS, 2013, pp. 135\u2013148.","DOI":"10.1007\/978-3-642-40948-6_11"},{"key":"9898_CR19","doi-asserted-by":"crossref","unstructured":"Greco, G., F. Liang, K. Manoorkar, and A. Palmigiano, Proper multi-type display calculi for rough algebras. In 13th Workshop on Logical and Semantic Frameworks with Applications, 2019.","DOI":"10.1016\/j.entcs.2019.07.007"},{"key":"9898_CR20","doi-asserted-by":"crossref","unstructured":"Greco, G., F. Liang, M. A. Moshier, and A. Palmigiano, Multi-type display calculus for semi De Morgan logic. In Logic, Language, Information, and Computation, WoLLIC 2017, volume 10388 of LNCS. Springer, Berlin, 2017 pp. 199\u2013215.","DOI":"10.1007\/978-3-662-55386-2_14"},{"key":"9898_CR21","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.fss.2018.05.007","volume":"363","author":"G Greco","year":"2019","unstructured":"Greco, G., F. Liang, A. Palmigiano, and U. Rivieccio, Bilattice logic properly displayed. Fuzzy Sets and Systems 363:138\u2013155, 2019.","journal-title":"Fuzzy Sets and Systems"},{"issue":"7","key":"9898_CR22","first-page":"1367","volume":"28","author":"G Greco","year":"2016","unstructured":"Greco, G., M. Ma, A. Palmigiano, A. Tzimoulis, and Z. Zhao, Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation 28(7):1367\u20131442, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9898_CR23","doi-asserted-by":"crossref","unstructured":"Greco, G., and A. Palmigiano, Lattice logic properly displayed. In Logic, Language, Information, and Computation, WoLLIC 2017, volume 10388 of LNCS. Springer, Berlin, 2017, pp. 153\u2013169.","DOI":"10.1007\/978-3-662-55386-2_11"},{"key":"9898_CR24","unstructured":"Greco, G., and A. Palmigiano, Linear logic properly displayed. Submitted, arXiv:1611.04181."},{"issue":"1\u20132","key":"9898_CR25","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00370145","volume":"56","author":"D Hobby","year":"1996","unstructured":"Hobby, D., Semi-De Morgan algebras. Studia Logica 56(1-2):151\u2013183, 1996.","journal-title":"Studia Logica"},{"key":"9898_CR26","doi-asserted-by":"crossref","unstructured":"Kracht, M., Power and weakness of the modal display calculus. Proof Theory of Modal Logic, 1996, pp. 93\u2013121.","DOI":"10.1007\/978-94-017-2798-3_7"},{"issue":"3","key":"9898_CR27","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s11225-017-9755-7","volume":"106","author":"M Ma","year":"2018","unstructured":"Ma, M., and F. Liang, Sequent calculi for semi-De Morgan and De Morgan algebras. Studia Logica 106(3):565\u2013593, 2018.","journal-title":"Studia Logica"},{"key":"9898_CR28","unstructured":"Palma, C., Semi De Morgan Algebras. PhD thesis, University of Lisbon, 2005."},{"issue":"3","key":"9898_CR29","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1093\/logcom\/exv041","volume":"27","author":"A Palmigiano","year":"2017","unstructured":"Palmigiano, A., S. Sourabh, and Z. Zhao, Sahlqvist theory for impossible worlds. Journal of Logic and Computation 27(3):775\u2013816, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9898_CR30","doi-asserted-by":"crossref","unstructured":"Priest, G., Paraconsistent logic. In Handbook of philosophical logic. Springer, 2002 pp. 287\u2013393.","DOI":"10.1007\/978-94-017-0460-1_4"},{"issue":"03","key":"9898_CR31","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar, H. P., Semi-De Morgan algebras. The Journal of Symbolic Logic 52(03):712\u2013724, 1987.","journal-title":"The Journal of Symbolic Logic"},{"key":"9898_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying Modal Logic","author":"H Wansing","year":"1998","unstructured":"Wansing, H., Displaying Modal Logic. Kluwer, 1998."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09898-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09898-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09898-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,24]],"date-time":"2021-02-24T00:28:46Z","timestamp":1614126526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09898-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,25]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["9898"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09898-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,2,25]]},"assertion":[{"value":"18 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}