{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:45:10Z","timestamp":1767451510077,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_14","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T07:24:53Z","timestamp":1498634693000},"page":"199-215","source":"Crossref","is-referenced-by-count":16,"title":["Multi-type Display Calculus for Semi De Morgan Logic"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Greco","sequence":"first","affiliation":[]},{"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":[[2017,6,29]]},"reference":[{"key":"14_CR1","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"},{"issue":"2","key":"14_CR2","doi-asserted-by":"crossref","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. Math. Logic Q. 45(2), 207\u2013218 (1999)","journal-title":"Math. Logic Q."},{"issue":"2","key":"14_CR3","first-page":"205","volume":"2","author":"SA Celani","year":"2007","unstructured":"Celani, S.A.: Representation for some algebras with a negation operator. Contrib. Discrete Math. 2(2), 205\u2013213 (2007)","journal-title":"Contrib. Discrete Math."},{"key":"14_CR4","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. J. Logic Comput. arXiv preprint arXiv:1603.08515 (forthcoming)"},{"issue":"6","key":"14_CR5","doi-asserted-by":"crossref","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. Logic Comput. 26(6), 2067\u20132104 (2016)","journal-title":"J. Logic Comput."},{"key":"14_CR6","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":"14_CR7","doi-asserted-by":"crossref","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. Logic Comput. 26(6), 2017\u20132065 (2016)","journal-title":"J. Logic Comput."},{"key":"14_CR8","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"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"14_CR10","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":"14_CR11","doi-asserted-by":"publisher","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Logic Comput. (2016). doi: 10.1093\/logcom\/exw022","DOI":"10.1093\/logcom\/exw022"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Greco, G., Palmigiano, A.: Linear logic properly displayed (submitted). arXiv preprint: arXiv:1611.04184 (2016)","DOI":"10.1007\/978-3-662-55386-2_11"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Greco, G., Palmigiano, A.: Lattice logic properly displayed. In: Proceedings WoLLIC 2017 (forthcoming)","DOI":"10.1007\/978-3-662-55386-2_11"},{"issue":"03","key":"14_CR14","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar, H.P.: Semi-De Morgan algebras. J. Symb. Logic 52(03), 712\u2013724 (1987)","journal-title":"J. Symb. Logic"},{"issue":"1\u20132","key":"14_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00370145","volume":"56","author":"D Hobby","year":"1996","unstructured":"Hobby, D.: Semi-De Morgan algebras. Stud. Logica. 56(1\u20132), 151\u2013183 (1996)","journal-title":"Stud. Logica."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Ma, M., Liang, F.: Sequent calculi for semi-De Morgan and De Morgan algebras (submitted). arXiv preprint: arXiv:1611.05231 (2016)","DOI":"10.1007\/s11225-017-9755-7"},{"key":"14_CR17","unstructured":"Palma, C.: Semi De Morgan algebras. Dissertation, The University of Lisbon (2005)"},{"issue":"3","key":"14_CR18","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1093\/logcom\/exv041","volume":"27","author":"A Palmigiano","year":"2017","unstructured":"Palmigiano, A., Sourabh, S., Zhao, Z.: Sahlqvist theory for impossible worlds. J. Logic Comput. 27(3), 775\u2013816 (2017)","journal-title":"J. Logic Comput."},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of Philosophical Logic","author":"G Priest","year":"2002","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 287\u2013393. Springer, Heidelberg (2002)"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T05:18:26Z","timestamp":1569561506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}