{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:01:00Z","timestamp":1743156060121,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319403694"},{"type":"electronic","value":"9783319403700"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40370-0_12","type":"book-chapter","created":{"date-parts":[[2016,6,3]],"date-time":"2016-06-03T09:50:55Z","timestamp":1464947455000},"page":"195-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Relational Lattices via Duality"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Santocanale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1134\/S2070046613020015","volume":"5","author":"N Ackerman","year":"2013","unstructured":"Ackerman, N.: Completeness in generalized ultrametric spaces. P-Adic Numbers Ultrametr. Anal. Appl. 5(2), 89\u2013105 (2013)","journal-title":"P-Adic Numbers Ultrametr. Anal. Appl."},{"issue":"6","key":"12_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"12_CR3","doi-asserted-by":"publisher","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, New York (2002)"},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/042","volume-title":"Free Lattices","author":"R Freese","year":"1995","unstructured":"Freese, R., Je\u017eek, J., Nation, J.: Free Lattices. American Mathematical Society, Providence, RI (1995)"},{"key":"12_CR5","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user, Basel, new appendices by the author with Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R. (1998)"},{"key":"12_CR6","unstructured":"Hillenbrand, T., L\u00f6chner, B.: Waldmeister (1996\u20132008). \n                    http:\/\/www.waldmeister.org\/"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2178\/jsl\/1190150040","volume":"67","author":"R Hirsch","year":"2002","unstructured":"Hirsch, R., Hodkinson, I., Kurucz, A.: On modal logics between K $$\\times $$ K $$\\times $$ K and S5 $$\\times $$ S5 $$\\times $$ S5. J. Symbol. Log. 67, 221\u2013234 (2002)","journal-title":"J. Symbol. Log."},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1090\/S0002-9947-99-02264-3","volume":"353","author":"R Hirsch","year":"2001","unstructured":"Hirsch, R., Hodkinson, I.: Representability is not decidable for finite relation algebras. Trans. Amer. Math. Soc. 353, 1403\u20131425 (2001)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"309","key":"12_CR9","doi-asserted-by":"crossref","first-page":"0","DOI":"10.1090\/memo\/0309","volume":"51","author":"Andr\u00e9 Joyal","year":"1984","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc. 51(309) (1984)","journal-title":"Memoirs of the American Mathematical Society"},{"key":"12_CR10","first-page":"869","volume-title":"Handbook of Modal Logic Studies in Logic and Practical Reasoning","author":"A Kurucz","year":"2007","unstructured":"Kurucz, A.: Combining modal logics. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Handbook of Modal Logic Studies in Logic and Practical Reasoning, vol. 3, pp. 869\u2013924. Elsevier, New York (2007)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"XLIII","author":"FW Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano XLIII, 135\u2013166 (1973)","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"issue":"4","key":"12_CR12","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1016\/j.jlamp.2015.11.008","volume":"85","author":"Tadeusz Litak","year":"2016","unstructured":"Litak, T., Mikul\u00e1s, S., Hidders, J.: Relational lattices: from databases to universal algebra. JLAMP (2015, to appear) doi:\n                    10.1016\/j.jlamp.2015.11.008","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"12_CR13","unstructured":"McCune, W.: Prover9 and Mace4 (2005\u20132010). \n                    http:\/\/www.cs.unm.edu\/~mccune\/prover9\/"},{"issue":"4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BF01188998","volume":"27","author":"JB Nation","year":"1990","unstructured":"Nation, J.B.: An approach to lattice varieties of finite height. Algebra Univers. 27(4), 521\u2013543 (1990)","journal-title":"Algebra Univers."},{"issue":"1","key":"12_CR15","first-page":"1187","volume":"320","author":"S Priess-Crampe","year":"1995","unstructured":"Priess-Crampe, S., Ribemboim, P.: Equivalence relations and spherically complete ultrametric spaces. C. R. Acad. Sci. Paris 320(1), 1187\u20131192 (1995)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"12_CR16","unstructured":"Santocanale, L.: A duality for finite lattices, September 2009, preprint. \n                    http:\/\/hal.archives-ouvertes.fr\/hal-00432113"},{"key":"12_CR17","unstructured":"Spight, M., Tropashko, V.: Relational lattice axioms (2008, preprint). \n                    http:\/\/arxiv.org\/abs\/0807.3795"},{"key":"12_CR18","unstructured":"Tropashko, V.: Relational algebra as non-distributive lattice (2006, preprint). \n                    http:\/\/arxiv.org\/abs\/cs\/0501053"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40370-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,3]],"date-time":"2020-06-03T00:03:32Z","timestamp":1591142612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40370-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319403694","9783319403700"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40370-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}