{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T06:10:56Z","timestamp":1775974256021,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031682780","type":"print"},{"value":"9783031682797","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68279-7_10","type":"book-chapter","created":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T23:03:07Z","timestamp":1723417387000},"page":"156-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Frames and\u00a0Spaces for\u00a0Distributive Quasi Relation Algebras and\u00a0Distributive Involutive FL-Algebras"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4787-3760","authenticated-orcid":false,"given":"Andrew","family":"Craig","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8608-808X","authenticated-orcid":false,"given":"Peter","family":"Jipsen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7789-4880","authenticated-orcid":false,"given":"Claudette","family":"Robinson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,12]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1017\/S1755020309090145","volume":"2","author":"K Bimb\u00f3","year":"2009","unstructured":"Bimb\u00f3, K., Dunn, J.M., Maddux, R.D.: Relevance logics and relation algebras. Rev. Symb. Log. 2(1), 102\u2013131 (2009)","journal-title":"Rev. Symb. Log."},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s00012-015-0316-5","volume":"73","author":"LM Cabrer","year":"2015","unstructured":"Cabrer, L.M., Priestley, H.A.: Distributive bilattices from the perspective of natural duality theory. Algebra Universalis 73, 103\u2013141 (2015)","journal-title":"Algebra Universalis"},{"key":"10_CR3","unstructured":"Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge Univerisity Press (1998)"},{"key":"10_CR4","unstructured":"Craig, A., Robinson, C.: Representable distributive quasi relation algebras, Algebra Universalis (accepted). https:\/\/arxiv.org\/abs\/2310.11719"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symb. Logic 70(3), 713\u2013740 (2005)","journal-title":"J. Symb. Logic"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Freese, R., Je\u017eek, J., Nation, J.B.: Free Lattices, Math. Surveys and Monographs, vol 42, Amer. Math. Soc. (1995)","DOI":"10.1090\/surv\/042"},{"issue":"10","key":"10_CR7","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1016\/j.apal.2019.05.003","volume":"170","author":"W Fussner","year":"2019","unstructured":"Fussner, W., Galatos, N.: Categories of models of $$\\textbf{R} $$-mingle. Ann. Pure Appl. Logic 170(10), 1188\u20131242 (2019)","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR8","unstructured":"Galatos, N.: Selected topics on residuated lattices, Qualifying paper, Dept. of Mathematics, Vanderbilt Univ., http:\/\/www.jaist.ac.jp\/~galatos\/research\/qualpap.pdf"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-012-0215-y","volume":"69","author":"N Galatos","year":"2013","unstructured":"Galatos, N., Jipsen, P.: Relation algebras as expanded FL-algebras. Algebra Universalis 69(1), 1\u201321 (2013)","journal-title":"Algebra Universalis"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00012-020-00663-9","volume":"81","author":"N Galatos","year":"2020","unstructured":"Galatos, N., Jipsen, P.: The structure of generalized BI-algebras and weakening relation algebras. Algebra Universalis 81, 35 (2020)","journal-title":"Algebra Universalis"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-030-43520-2_8","volume-title":"Relational and Algebraic Methods in Computer Science","author":"N Galatos","year":"2020","unstructured":"Galatos, N., Jipsen, P.: Weakening relation algebras and FL$$^2$$-algebras. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) RAMiCS 2020. LNCS, vol. 12062, pp. 117\u2013133. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_8"},{"key":"10_CR12","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. Elsevier (2007)"},{"key":"10_CR13","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators, Math. Japon. 40(2), 207\u2013215 (1994). https:\/\/tinyurl.com\/GJ1994"},{"issue":"1\u20133","key":"10_CR14","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M Gehrke","year":"2005","unstructured":"Gehrke, M., Nagahashi, H., Venema, Y.: A Sahlqvist theorem for distributive modal logic. Ann. Pure Appl. Logic 131(1\u20133), 65\u2013102 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR15","unstructured":"Hirsch, R., Hodkinson, I.: Relation Algebras by Games, Studies in Logic and the Foundations of Mathematics, vol. 147. North-Holland (2002)"},{"key":"10_CR16","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-030-76920-8_5","volume-title":"Hiroakira Ono on Substructural Logics","author":"P Jipsen","year":"2022","unstructured":"Jipsen, P., Litak, T.: An algebraic glimpse at bunched implications and separation logic. In: Galatos, N., Terui, K. (eds.) Hiroakira Ono on Substructural Logics. OCL, vol. 23, pp. 185\u2013242. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-76920-8_5"},{"key":"10_CR17","doi-asserted-by":"publisher","unstructured":"Jipsen, P., \u0160emrl, J.: Representable and diagonally representable weakening relation algebras, In: Gl\u00fcck et al. (eds), RAMiCS 2023. LNCS, vol. 13896, pp. 140\u2013157. https:\/\/doi.org\/10.1007\/978-3-031-28083-2_9","DOI":"10.1007\/978-3-031-28083-2_9"},{"issue":"9","key":"10_CR18","doi-asserted-by":"publisher","first-page":"2250182","DOI":"10.1142\/S0219498822501821","volume":"21","author":"P Jipsen","year":"2022","unstructured":"Jipsen, P., Vannucci, S.: Injective and projective semimodules over involutive semirings. J. Algebra Appli. 21(9), 2250182 (2022)","journal-title":"J. Algebra Appli."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Lyndon, R.C.: The representation of relation algebras. II, Ann. of Math. (2) 63(2), 294\u2013307 (1956)","DOI":"10.2307\/1969611"},{"issue":"2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R Maddux","year":"1982","unstructured":"Maddux, R.: Some varieties containing relation algebras. Trans. Amer. Math. Soc. 272(2), 501\u2013526 (1982)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R Maddux","year":"1983","unstructured":"Maddux, R.: A sequent calculus for relation algebras. Ann. Pure Appl. Logic 25(1), 73\u2013101 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR22","unstructured":"Maddux, R.D.: Relation Algebras, Studies in Logic and the Foundations of Mathematics. Elsevier (2006)"},{"key":"10_CR23","unstructured":"McKenzie, R.N.: The representation of relation algebras, PhD thesis, University of Colorado, Boulder, pp. vi+128 (1966)"},{"key":"10_CR24","unstructured":"McCune, W.: Prover9 and Mace4. http:\/\/cs.unm.edu\/~mccune\/prover9, 2005\u20132010"},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00370149","volume":"56","author":"A Urquhart","year":"1996","unstructured":"Urquhart, A.: Duality for algebras of relevant logic. Stud. Logica. 56, 263\u2013276 (1996)","journal-title":"Stud. Logica."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68279-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T23:07:57Z","timestamp":1723417677000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68279-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031682780","9783031682797"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68279-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2023a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}