{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:23:57Z","timestamp":1725902637992},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_11","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T11:24:53Z","timestamp":1498649093000},"page":"153-169","source":"Crossref","is-referenced-by-count":13,"title":["Lattice Logic Properly Displayed"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Greco","sequence":"first","affiliation":[]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Moder Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Moder Uses of Multiple-Valued Logic, pp. 5\u201337. D. Reidel Springer Netherlands Edition, Dordrecht (1977)"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N Belnap","year":"1982","unstructured":"Belnap, N.: Display logic. J. Philos. Logic 11, 375\u2013417 (1982)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"11_CR3","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1305\/ndjfl\/1093635329","volume":"31","author":"N Belnap","year":"1990","unstructured":"Belnap, N.: Linear logic displayed. Notre Dame J. Formal Log. 31(1), 14\u201325 (1990)","journal-title":"Notre Dame J. Formal Log."},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/oso\/9780198537779.003.0002","volume-title":"Substructural Logics","author":"N Belnap","year":"1993","unstructured":"Belnap, N.: Life in the undistributed middle. In: Do\u0161en, K., Schroeder-Heister, P. (eds.) Substructural Logics, pp. 31\u201341. Oxford University Press, Oxford (1993)"},{"key":"11_CR5","unstructured":"B\u00edlkov\u00e1, M., Greco, G., Palmigiano, A., Tzimoulis, A., Wijnberg, N.: The logic of resources and capabilities (submitted). arXiv preprint arXiv:1608.02222"},{"key":"11_CR6","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, vol. 25. American Mathematical Society, Providence (1967)"},{"issue":"1","key":"11_CR7","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G Birkhoff","year":"1970","unstructured":"Birkhoff, G., Lipson, J.D.: Heterogeneous algebras. J. Comb. Theory 8(1), 115\u2013133 (1970)","journal-title":"J. Comb. Theory"},{"key":"11_CR8","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"2006","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Heidelberg (2006)"},{"issue":"3","key":"11_CR9","first-page":"17","volume":"17","author":"C Agata","year":"2016","unstructured":"Agata, C., Revantha, R.: Power and limits of structural display rules. ACM Trans. Comput. Logic (TOCL) 17(3), 17 (2016)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"11_CR10","unstructured":"Conradie, W., Craig, A.: Canonicity results for mu-calculi: an algorithmic approach. J. Logic Comput. (forthcoming). arXiv preprint arXiv:1408.6367"},{"key":"11_CR11","unstructured":"Conradie, W., Craig, A., Palmigiano, A., Zhao, Z.: Constructive canonicity for lattice-based fixed point logics (submitted). arXiv preprint arXiv:1603.06547"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.tcs.2014.10.027","volume":"564","author":"W Conradie","year":"2015","unstructured":"Conradie, W., Fomatati, Y., Palmigiano, A., Sourabh, S.: Algorithmic correspondence for intuitionistic modal mu-calculus. Theoret. Comput. Sci. 564, 30\u201362 (2015)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-662-52921-8_10","volume-title":"Logic, Language, Information, and Computation","author":"W Conradie","year":"2016","unstructured":"Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A., Wijnberg, N.M.: Categories: how i learned to stop worrying and love two sorts. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 145\u2013164. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-52921-8_10 . arXiv preprint arXiv:1604.00777"},{"key":"11_CR14","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1007\/978-3-319-06025-5_36","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"W Conradie","year":"2014","unstructured":"Conradie, W., Ghilardi, S., Palmigiano, A.: Unified correspondence. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 933\u2013975. Springer, Cham (2014). doi: 10.1007\/978-3-319-06025-5_36"},{"issue":"3","key":"11_CR15","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/j.apal.2011.10.004","volume":"163","author":"W Conradie","year":"2012","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Logic 163(3), 338\u2013376 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR16","unstructured":"Conradie, W., Palmigiano, A.: Constructive canonicity of inductive inequalities (submitted). arXiv preprint arXiv:1603.08341"},{"key":"11_CR17","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics (submitted). arXiv preprint arXiv:1603.08515"},{"key":"11_CR18","unstructured":"Conradie, W., Palmigiano, A., Sourabh, S.: Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebr. Methods Programm. (2016). arXiv preprint arXiv:1606.06881"},{"key":"11_CR19","unstructured":"Conradie, W., Palmigiano, A., Sourabh, S., Zhao, Z.: Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA (submitted). arXiv preprint arXiv:1511.04271"},{"key":"11_CR20","unstructured":"Conradie, W., Palmigiano, A., Zhao, Z.: Sahlqvist via translation (submitted). arXiv preprint arXiv:1603.08220"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Conradie, W., Robinson, C.: On Sahlqvist theory for hybrid logic. J. Log. Comput. (2015). doi: 10.1093\/logcom\/exv045","DOI":"10.1093\/logcom\/exv045"},{"key":"11_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)"},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K Do\u0161en","year":"1988","unstructured":"Do\u0161en, K.: Sequent systems and groupoid models i. Stud. Logica 47, 353\u2013389 (1988)","journal-title":"Stud. Logica"},{"issue":"3","key":"11_CR24","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Do\u0161en","year":"1989","unstructured":"Do\u0161en, K.: Logical constants as punctuation marks. Notre Dame J. Formal Log. 30(3), 362\u2013381 (1989)","journal-title":"Notre Dame J. Formal Log."},{"issue":"6","key":"11_CR25","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.: Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26(6), 2067\u20132104 (2016). doi: 10.1093\/logcom\/exu064","journal-title":"J. Log. Comput."},{"key":"11_CR26","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V.: Multi-type sequent calculi. In: Indrzejczak, A., Kaczmarek, J., Zawidski, M. (eds.) Proceedings Trends in Logic XIII, vol. 13, pp. 81\u201393 (2014)"},{"issue":"6","key":"11_CR27","doi-asserted-by":"publisher","first-page":"1961","DOI":"10.1093\/logcom\/exu063","volume":"26","author":"S Frittella","year":"2016","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V.: A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26(6), 1961\u20132015 (2016). doi: 10.1093\/logcom\/exu063","journal-title":"J. Log. Comput."},{"issue":"6","key":"11_CR28","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.: A multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26(6), 2017\u20132065 (2016). doi: 10.1093\/logcom\/exu068","journal-title":"J. Log. Comput."},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-662-52921-8_14","volume-title":"Logic, Language, Information, and Computation","author":"S Frittella","year":"2016","unstructured":"Frittella, S., Greco, G., Palmigiano, A., Yang, F.: A multi-type calculus for inquisitive logic. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 215\u2013233. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-52921-8_14 . arXiv preprint arXiv:1604.00936"},{"key":"11_CR30","doi-asserted-by":"publisher","unstructured":"Frittella, S., Palmigiano, A., Santocanale, L.: Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. (2016). doi: 10.1093\/logcom\/exw011","DOI":"10.1093\/logcom\/exw011"},{"key":"11_CR31","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol. 151. Elsevier, Amsterdam (2007)"},{"key":"11_CR32","volume-title":"The Collected Papers of Gerhard Gentzen\/Edited by M.E. Szabo","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G.: The Collected Papers of Gerhard Gentzen\/Edited by M.E. Szabo. North-Holland Publishing Company, Amsterdam (1969)"},{"issue":"1","key":"11_CR33","doi-asserted-by":"crossref","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. Theoret. Comput. Sci. 50(1), 1\u2013101 (1987)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Greco, G., Liang, F., Moshier, A., Palmigiano, A.: Multi-type display calculus for semi De Morgan logic. In: Proceedings WoLLIC 2017 (forthcoming)","DOI":"10.1007\/978-3-662-55386-2_14"},{"issue":"1\u20132","key":"11_CR35","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I.: Semantic analysis of orthologic. J. Philos. Log. 3(1\u20132), 19\u201335 (1974)","journal-title":"J. Philos. Log."},{"key":"11_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-40948-6_11","volume-title":"Logic, Rationality, and Interaction","author":"G Greco","year":"2013","unstructured":"Greco, G., Kurz, A., Palmigiano, A.: Dynamic epistemic logic displayed. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 135\u2013148. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40948-6_11"},{"key":"11_CR37","doi-asserted-by":"publisher","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Log. Comput. (2016). doi: 10.1093\/logcom\/exw022","DOI":"10.1093\/logcom\/exw022"},{"key":"11_CR38","unstructured":"Greco, G., Palmigiano, A.: Lattice logic properly displayed. Extended version: arXiv:1612.05930"},{"key":"11_CR39","unstructured":"Greco, G., Palmigiano, A.: Linear logic properly displayed (submitted). arXiv preprint arXiv:1611.04181"},{"key":"11_CR40","unstructured":"Huhn, H.P.: $$n$$ -distributivity and some questions of the equational theory of lattices. In: Contributions to Universal Algebra, Colloq. Math. Soc. J. Bolyai North-Holland, vol. 17 (1997)"},{"issue":"3","key":"11_CR41","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65(3), 154\u2013170 (1958)","journal-title":"Am. Math. Mon."},{"key":"11_CR42","unstructured":"le Roux, C.: Correspondence theory in many-valued modal logics. Master\u2019s thesis, University of Johannesburg, South Africa (2016)"},{"key":"11_CR43","doi-asserted-by":"publisher","unstructured":"Ma, M., Zhao, Z.: Unified correspondence and proof theory for strict implication. J. Log. Comput. (2016). doi: 10.1093\/logcom\/exw012 . arXiv preprint arXiv:1604.08822","DOI":"10.1093\/logcom\/exw012"},{"key":"11_CR44","doi-asserted-by":"publisher","unstructured":"Palmigiano, A., Sourabh, S., Zhao, Z.: J\u00f3nsson-style canonicity for ALBA-inequalities. J. Log. Comput. (2015). doi: 10.1093\/logcom\/exv041","DOI":"10.1093\/logcom\/exv041"},{"key":"11_CR45","doi-asserted-by":"publisher","unstructured":"Palmigiano, A., Sourabh, S., Zhao, Z.: Sahlqvist theory for impossible worlds. J. Log. Comput. (2016). doi: 10.1093\/logcom\/exw014","DOI":"10.1093\/logcom\/exw014"},{"key":"11_CR46","volume-title":"Substructural Logics: A Primer","author":"F Paoli","year":"2013","unstructured":"Paoli, F.: Substructural Logics: A Primer, vol. 13. Springer, Heidelberg (2013)"},{"issue":"3","key":"11_CR47","doi-asserted-by":"crossref","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2014","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65(3), 979\u20131013 (2014)","journal-title":"J. Symb. Log."},{"issue":"4","key":"11_CR48","first-page":"507","volume":"14","author":"J Plato von","year":"2014","unstructured":"von Plato, J., Negri, S.: Proof systems for lattice logic. Math. Struct. Comput. Sci. 14(4), 507\u2013526 (2014)","journal-title":"Math. Struct. Comput. Sci."},{"key":"11_CR49","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A Troelstra","year":"2000","unstructured":"Troelstra, A., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press, Cambridge (2000)"},{"key":"11_CR50","doi-asserted-by":"crossref","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, Dordrecht (1998)"}],"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-662-55386-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T01:32:15Z","timestamp":1719279135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}