{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:18:59Z","timestamp":1759033139036,"version":"3.41.0"},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2021,7,30]],"date-time":"2021-07-30T00:00:00Z","timestamp":1627603200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2021,7,30]]},"abstract":"<jats:p>\n            We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or open elements of its canonical extension. Interestingly, the syntactic shape of LE-inequalities which guarantees their canonicity in this generalized setting turns out to coincide with the syntactic shape of\n            <jats:italic>analytic inductive inequalities<\/jats:italic>\n            , which guarantees LE-inequalities to be equivalently captured by analytic structural rules of a proper display calculus. We show that this canonicity result connects and strengthens a number of recent canonicity results in two different areas: subordination algebras, and transfer results via G\u00f6del-McKinsey-Tarski translations.\n          <\/jats:p>","DOI":"10.1145\/3460973","type":"journal-article","created":{"date-parts":[[2021,8,1]],"date-time":"2021-08-01T18:18:00Z","timestamp":1627841880000},"page":"1-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Slanted Canonicity of Analytic Inductive Inequalities"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5718-8521","authenticated-orcid":false,"given":"Laurent","family":"De Rudder","sequence":"first","affiliation":[{"name":"University of Li\u00e8ge, Belgium"}]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2021,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-016-9434-2"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11083-010-9168-y"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.21136\/MB.2001.134115"},{"key":"e_1_2_1_4_1","first-page":"63","article-title":"Precontact relations and quasi-modal operators in Boolean algebras. In Actas Del XIII Congreso \u201cDr. Antonio A. R. Monteiro","author":"Celani Sergio","year":"2016","unstructured":"Sergio Celani . 2016 . Precontact relations and quasi-modal operators in Boolean algebras. In Actas Del XIII Congreso \u201cDr. Antonio A. R. Monteiro \u201d . Bah\u00eda Blanca: Universidad Nacional del Sur, Instituto de Matem\u00e1tica , 63 \u2013 79 . Sergio Celani. 2016. Precontact relations and quasi-modal operators in Boolean algebras. In Actas Del XIII Congreso \u201cDr. Antonio A. R. Monteiro\u201d. Bah\u00eda Blanca: Universidad Nacional del Sur, Instituto de Matem\u00e1tica, 63\u201379.","journal-title":". Bah\u00eda Blanca: Universidad Nacional del Sur, Instituto de Matem\u00e1tica"},{"volume-title":"Non-normal logics: Semantic analysis and proof theory","author":"Chen Jinsheng","key":"e_1_2_1_5_1","unstructured":"Jinsheng Chen , Giuseppe Greco , Alessandra Palmigiano , and Apostolos Tzimoulis . 2019. Non-normal logics: Semantic analysis and proof theory . In Logic, Language, Information, and Computation, Rosalie Iemhoff, Michael Moortgat, and Ruy de Queiroz (Eds.). Springer , Berlin , 99\u2013118. Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, and Apostolos Tzimoulis. 2019. Non-normal logics: Semantic analysis and proof theory. In Logic, Language, Information, and Computation, Rosalie Iemhoff, Michael Moortgat, and Ruy de Queiroz (Eds.). Springer, Berlin, 99\u2013118."},{"key":"e_1_2_1_6_1","unstructured":"Jinsheng Chen Giuseppe Greco Alessandra Palmigiano and Apostolos Tzimoulis. 2020. Syntactic completeness of proper display calculi. arXiv:2102.11641 [math.LO].  Jinsheng Chen Giuseppe Greco Alessandra Palmigiano and Apostolos Tzimoulis. 2020. Syntactic completeness of proper display calculi. arXiv:2102.11641 [math.LO]."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55386-2_7"},{"key":"e_1_2_1_8_1","volume-title":"Wijnberg","author":"Conradie Willem","year":"2020","unstructured":"Willem Conradie , Sabine Frittella , Krishna Manoorkar , Sajad Nazari , Alessandra Palmigiano , Apostolos Tzimoulis , and Nachoem M . Wijnberg . 2020 . Rough concepts. Information Sciences ( 2020). https:\/\/doi.org\/10.1016\/j.ins.2020.05.074 10.1016\/j.ins.2020.05.074 Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, and Nachoem M. Wijnberg. 2020. Rough concepts. Information Sciences (2020). https:\/\/doi.org\/10.1016\/j.ins.2020.05.074"},{"volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"Conradie Willem","key":"e_1_2_1_9_1","unstructured":"Willem Conradie , Silvio Ghilardi , and Alessandra Palmigiano . 2014. Unified correspondence . In Johan van Benthem on Logic and Information Dynamics . Springer , Cham , 933\u2013975. Willem Conradie, Silvio Ghilardi, and Alessandra Palmigiano. 2014. Unified correspondence. In Johan van Benthem on Logic and Information Dynamics. Springer, Cham, 933\u2013975."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl026"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.10.004"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2019.04.003"},{"key":"e_1_2_1_13_1","volume-title":"Constructive canonicity of inductive inequalities. Logical Methods in Computer Science","author":"Conradie Willem","year":"2020","unstructured":"Willem Conradie and Alessandra Palmigiano . 2020. Constructive canonicity of inductive inequalities. Logical Methods in Computer Science Volume 16 , Issue 3 ( Aug. 2020 ). https:\/\/lmcs.episciences.org\/6694. Willem Conradie and Alessandra Palmigiano. 2020. Constructive canonicity of inductive inequalities. Logical Methods in Computer Science Volume 16, Issue 3 (Aug. 2020). https:\/\/lmcs.episciences.org\/6694."},{"volume-title":"Landscapes in Logic","author":"Conradie Willem","key":"e_1_2_1_14_1","unstructured":"Willem Conradie , Alessandra Palmigiano , Claudette Robinson , and Nachoem Wijnberg . 2020. Non-distributive logics: from semantics to meaning . In Contemporary Logic and Computing, Adrian Rezus (Ed.). Landscapes in Logic , Vol. 1 . College Publications , 38\u201386. Willem Conradie, Alessandra Palmigiano, Claudette Robinson, and Nachoem Wijnberg. 2020. Non-distributive logics: from semantics to meaning. In Contemporary Logic and Computing, Adrian Rezus (Ed.). Landscapes in Logic, Vol. 1. College Publications, 38\u201386."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.10.006"},{"key":"e_1_2_1_16_1","volume-title":"Sahlqvist via translation. Logical Methods in Computer Science","author":"Conradie Willem","year":"2019","unstructured":"Willem Conradie , Alessandra Palmigiano , and Zhiguang Zhao . 2019. Sahlqvist via translation. Logical Methods in Computer Science Volume 15 , Issue 1 ( Feb. 2019 ). https:\/\/doi.org\/10.23638\/LMCS-15(1:15)2019 10.23638\/LMCS-15(1:15)2019 Willem Conradie, Alessandra Palmigiano, and Zhiguang Zhao. 2019. Sahlqvist via translation. Logical Methods in Computer Science Volume 15, Issue 1 (Feb. 2019). https:\/\/doi.org\/10.23638\/LMCS-15(1:15)2019"},{"key":"e_1_2_1_17_1","unstructured":"Laurent De Rudder Georges Hansoul and Valentine Stetenfeld. 2020. Subordination algebras in modal logic. arxiv:2004.14919 [math.LO]  Laurent De Rudder Georges Hansoul and Valentine Stetenfeld. 2020. Subordination algebras in modal logic. arxiv:2004.14919 [math.LO]"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11734673_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1122038911"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-007-9064-3"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.2000.8622"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-14428"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.007"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2006.06.001"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032073.2032080"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00048-6"},{"key":"e_1_2_1_28_1","unstructured":"Giuseppe Greco Peter Jipsen Fei Liang Alessandra Palmigiano and Apostolos Tzimoulis. 2018. Algebraic proof theory for LE-logics. arxiv:1808.04642 [math.LO]  Giuseppe Greco Peter Jipsen Fei Liang Alessandra Palmigiano and Apostolos Tzimoulis. 2018. Algebraic proof theory for LE-logics. arxiv:1808.04642 [math.LO]"},{"key":"e_1_2_1_29_1","first-page":"1367","article-title":"Unified correspondence as a proof-theoretic tool","volume":"28","author":"Greco Giuseppe","year":"2018","unstructured":"Giuseppe Greco , Minghui Ma , Alessandra Palmigiano , Apostolos Tzimoulis , and Zhiguang Zhao . 2018 . Unified correspondence as a proof-theoretic tool . Journal of Logic and Computation 28 , 7 (2018), 1367 \u2013 1442 . Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, and Zhiguang Zhao. 2018. Unified correspondence as a proof-theoretic tool. Journal of Logic and Computation 28, 7 (2018), 1367\u20131442.","journal-title":"Journal of Logic and Computation"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050024"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01057646"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"e_1_2_1_33_1","volume-title":"A relational category of formal contexts. Preprint","author":"Moshier M. Andrew","year":"2016","unstructured":"M. Andrew Moshier . 2016. A relational category of formal contexts. Preprint ( 2016 ). M. Andrew Moshier. 2016. A relational category of formal contexts. Preprint (2016)."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv041"},{"key":"e_1_2_1_35_1","first-page":"775","article-title":"Sahlqvist theory for impossible worlds","volume":"27","author":"Palmigiano Alessandra","year":"2017","unstructured":"Alessandra Palmigiano , Sumit Sourabh , and Zhiguang Zhao . 2017 . Sahlqvist theory for impossible worlds . Journal of Logic and Computation 27 , 3 (2017), 775 \u2013 816 . Alessandra Palmigiano, Sumit Sourabh, and Zhiguang Zhao. 2017. Sahlqvist theory for impossible worlds. Journal of Logic and Computation 27, 3 (2017), 775\u2013816.","journal-title":"Journal of Logic and Computation"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274758"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/3298483.3298610"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460973","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:22Z","timestamp":1750193302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,30]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,7,30]]}},"alternative-id":["10.1145\/3460973"],"URL":"https:\/\/doi.org\/10.1145\/3460973","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2021,7,30]]},"assertion":[{"value":"2020-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}