{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:12:33Z","timestamp":1725862353899},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_10","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"145-164","source":"Crossref","is-referenced-by-count":17,"title":["Categories: How I Learned to Stop Worrying and Love Two Sorts"],"prefix":"10.1007","author":[{"given":"Willem","family":"Conradie","sequence":"first","affiliation":[]},{"given":"Sabine","family":"Frittella","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Piazzai","sequence":"additional","affiliation":[]},{"given":"Apostolos","family":"Tzimoulis","sequence":"additional","affiliation":[]},{"given":"Nachoem M.","family":"Wijnberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"10_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"10_CR2","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 43\u201356. Morgan Kaufmann Publishers Inc. (1998)"},{"issue":"3","key":"10_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K., Dunn, J.M., et al.: Four-valued logic. Notre Dame J. Form. Log. 42(3), 171\u2013192 (2001)","journal-title":"Notre Dame J. Form. Log."},{"key":"10_CR4","unstructured":"Conradie, W., Craig, A.: Canonicity results for mu-calculi: an algorithmic approach. J. Log. Comput. (2015). Forthcoming, preliminary version on arXiv:1408.6367 [math.LO]"},{"key":"10_CR5","unstructured":"Conradie, W., Palmigiano, A., Sourabh, S.: Algebraic modal correspondence: Sahlqvist and beyond (Submitted)"},{"key":"10_CR6","unstructured":"Conradie, W., Craig, A., Palmigiano, A., Zhao, Z.: Constructive canonicity for lattice-based fixed point logics. Submitted, preliminary version on arXiv:1603.06547 [math.LO]"},{"key":"10_CR7","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. Theor. Comput. Sci. 564, 30\u201362 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR8","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"crossref","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. Outstanding Contributions to Logic, vol. 5, pp. 933\u2013975. Springer, Switzerland (2014)"},{"key":"10_CR9","unstructured":"Conradie, W., Palmigiano, A.: Algorithmic correspondence and canonicity for non-distributive logics. J. Log. Comput. forthcoming, preliminary version on arXiv:1603.08515 [math.LO]"},{"key":"10_CR10","unstructured":"Conradie, W., Palmigiano, A.: Constructive canonicity of inductive inequalities. Submitted, preliminary version on arXiv:1603.08341 [math.LO]"},{"issue":"3","key":"10_CR11","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. Log. 163(3), 338\u2013376 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"10_CR12","unstructured":"Conradie, W., Palmigiano, A., Sourabh, S., Zhao, Z.: Canonicity and relativized canonicity via pseudo-correspondence: an application of ALBA. Submitted, preliminary version on arXiv:1511.04271 [cs.LO]"},{"key":"10_CR13","unstructured":"Conradie, W., Palmigiano, A., Zhao, Z.: Sahlqvist via translation. Submitted, preliminary version on arXiv:1603.08220 [math.LO]"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Conradie, W., Robinson, C.: On Sahlqvist theory for hybrid logic. J. Log. Comput. exv045v1-exv045 (2015)","DOI":"10.1093\/logcom\/exv045"},{"issue":"2","key":"10_CR15","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0022-4049(82)90001-9","volume":"23","author":"H Crapo","year":"1982","unstructured":"Crapo, H.: Unities and negation: on the representation of finite lattices. J. Pure Appl. Algebra 23(2), 109\u2013135 (1982)","journal-title":"J. Pure Appl. Algebra"},{"key":"10_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Lattices and Order. Cambridge Univerity Press, Cambridge (2002)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BFb0018431","volume-title":"Logics in AI","author":"JM Dunn","year":"1991","unstructured":"Dunn, J.M.: 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. LNCS, vol. 478, pp. 31\u201351. Springer, Heidelberg (1991)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"MJ Dunn","year":"2005","unstructured":"Dunn, M.J., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3), 713\u2013740 (2005)","journal-title":"J. Symb. Log."},{"key":"10_CR19","first-page":"132","volume":"1","author":"I D\u00fcntsch","year":"2004","unstructured":"D\u00fcntsch, I., Or\u0142owska, E., Radzikowska, A., Vakarelov, D.: Relational representation theorems for some lattice-based structures. J. Relat. Methods Comput. Sci. 1, 132\u2013160 (2004)","journal-title":"J. Relat. Methods Comput. Sci."},{"volume-title":"Reasoning About Knowledge","year":"2003","author":"R Fagin","key":"10_CR20","unstructured":"Fagin, R., Moses, Y., Vardi, M.Y., Halpern, J.Y.: Reasoning About Knowledge. MIT press, Cambridge (2003)"},{"key":"10_CR21","unstructured":"Frittella, S., Palmigiano, A., Santocanale, L.: Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. (2016). Forthcoming, preliminary version on arXiv:1408.1843 [math.LO]"},{"volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","year":"2007","author":"N Galatos","key":"10_CR22","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"key":"10_CR23","unstructured":"Ganter, B., Wille, R.: Applied lattice theory: formal concept analysis. In: Gr\u00e4tzer, G. (ed.) In General Lattice Theory. Birkh\u00e4user. Citeseer (1997)"},{"key":"10_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"issue":"2","key":"10_CR25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s11225-006-9008-7","volume":"84","author":"M Gehrke","year":"2006","unstructured":"Gehrke, M.: Generalized Kripke frames. Studia Logica 84(2), 241\u2013275 (2006)","journal-title":"Studia Logica"},{"key":"10_CR26","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. Forthcoming, preliminary version on arXiv:1603.08204 [math.LO]"},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1093\/jigpal\/jzv051","volume":"24","author":"T Hartonas","year":"2015","unstructured":"Hartonas, T.: Modal and temporal extensions of non-distributive logics. Log. J. IGPL 24, 156\u2013185 (2015)","journal-title":"Log. J. IGPL"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Hartonas, T.: Order-dual relational semantics for non-distributive al logics: a general framework (2015)","DOI":"10.1093\/jigpal\/jzw057"},{"issue":"2","key":"10_CR29","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-9558.2011.01389.x","volume":"29","author":"G Hsu","year":"2011","unstructured":"Hsu, G., Hannan, M.T., P\u00f3los, L.: Typecasting, legitimation, and form emergence: a formal theory. Sociol. Theor. 29(2), 97\u2013123 (2011)","journal-title":"Sociol. Theor."},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/11734673_11","volume-title":"Relational Methods in Computer Science","author":"J J\u00e4rvinen","year":"2006","unstructured":"J\u00e4rvinen, J., Or\u0142owska, E.: Relational correspondences for lattices with operators. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol. 3929, pp. 134\u2013146. Springer, Heidelberg (2006)"},{"issue":"4","key":"10_CR31","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1019915908844","volume":"11","author":"N Kamide","year":"2002","unstructured":"Kamide, N.: Kripke semantics for modal substructural logics. J. Log. Lang. Inf. 11(4), 453\u2013470 (2002)","journal-title":"J. Log. Lang. Inf."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Kuijken, B., Leenders, M.A.A.M., Wijnberg, N.M., Gemser, G.: The producer-consumer classification gap and its effects on music festival success (2016) (Submitted)","DOI":"10.1108\/EJM-04-2015-0204"},{"key":"10_CR33","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1023\/A:1008322125368","volume":"7","author":"N Kurtonina","year":"1998","unstructured":"Kurtonina, N.: Categorical inference and modal logic. J. Log. Lang. Inf. 7, 399\u2013411 (1998)","journal-title":"J. Log. Lang. Inf."},{"issue":"3","key":"10_CR34","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s00012-014-0275-2","volume":"71","author":"MA Moshier","year":"2014","unstructured":"Moshier, M.A., Jipsen, P.: Topological duality and lattice expansions, II: lattice expansions with quasioperators. Algebra Universalis 71(3), 221\u2013234 (2014)","journal-title":"Algebra Universalis"},{"issue":"3","key":"10_CR35","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2189\/asqu.2010.55.3.439","volume":"55","author":"C Navis","year":"2010","unstructured":"Navis, C., Glynn, M.A.: How new market categories emerge: temporal dynamics of legitimacy, identity, and entrepreneurship in satellite radio, 1990\u20132005. Adm. Sci. Q. 55(3), 439\u2013471 (2010)","journal-title":"Adm. Sci. Q."},{"key":"10_CR36","first-page":"50","volume":"8","author":"IO Paleo","year":"2006","unstructured":"Paleo, I.O., Wijnberg, N.M.: Classification of popular music festivals: a typology of festivals and an inquiry into their role in the construction of music genres. Int. J. Arts Manag. 8, 50\u201361 (2006)","journal-title":"Int. J. Arts Manag."},{"key":"10_CR37","unstructured":"Palmigiano, A., Sourabh, S., Zhao, Z.: Sahlqvist theory for impossible worlds. J. Log. Comput. Forthcoming, preliminary version on arXiv:1603.08202 [math.LO]"},{"key":"10_CR38","unstructured":"Palmigiano, A., Sourabh, S., Zhao, Z.: J\u00f3nsson-style canonicity for ALBA-inequalities. J. Log. Comput. exv041v1-exv041 (2015)"},{"key":"10_CR39","first-page":"75","volume":"5","author":"M Plo\u0161cica","year":"1995","unstructured":"Plo\u0161cica, M.: A natural representation of bounded lattices. Tatra Mt. Math. Publ. 5, 75\u201388 (1995)","journal-title":"Tatra Mt. Math. Publ."},{"key":"10_CR40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1755020310000201","volume":"4","author":"T Suzuki","year":"2011","unstructured":"Suzuki, T.: Canonicity results of substructural and lattice-based logics. Rev. Symb. Log. 4, 1\u201342 (2011)","journal-title":"Rev. Symb. Log."},{"issue":"8","key":"10_CR41","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1177\/0170840604046350","volume":"25","author":"NM Wijnberg","year":"2004","unstructured":"Wijnberg, N.M.: Innovation and organization: value and competition in selection systems. Organ. Stud. 25(8), 1413\u20131433 (2004)","journal-title":"Organ. Stud."},{"issue":"3","key":"10_CR42","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.scaman.2011.04.001","volume":"27","author":"NM Wijnberg","year":"2011","unstructured":"Wijnberg, N.M.: Classification systems and selection systems: the risks of radical innovation and category spanning. Scand. J. Manag. 27(3), 297\u2013306 (2011)","journal-title":"Scand. J. Manag."}],"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-52921-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T07:12:55Z","timestamp":1568272375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}
