{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T12:40:42Z","timestamp":1778244042407,"version":"3.51.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030435196","type":"print"},{"value":"9783030435202","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-43520-2_8","type":"book-chapter","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T23:08:28Z","timestamp":1585696108000},"page":"117-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Weakening Relation Algebras and FL$$^2$$-algebras"],"prefix":"10.1007","author":[{"given":"Nikolaos","family":"Galatos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Jipsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,1]]},"reference":[{"key":"8_CR1","first-page":"23","volume-title":"Lecture Notes Logic","author":"M Baaz","year":"1996","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. In: H\u00e1jek, P. (ed.) Lecture Notes Logic, vol. 6, pp. 23\u201333. Springer, Berlin (1996)"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13(4), 437\u2013461 (2003)","journal-title":"Int. J. Algebra Comput."},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"42","DOI":"10.2168\/LMCS-6(3:3)2010","volume":"6","author":"J Brotherston","year":"2010","unstructured":"Brotherston, J., Calcagno, C.: Classical BI: its semantics and proof theory. Log. Methods Comput. Sci. 6(3), 42 (2010)","journal-title":"Log. Methods Comput. Sci."},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Di Nola, A., Grigolia, R., Vitale, G.: On the variety of G\u00f6del MV-algebras. Soft Comput. (2019). https:\/\/doi.org\/10.1007\/s00500-019-04235-5","DOI":"10.1007\/s00500-019-04235-5"},{"key":"8_CR5","series-title":"Oxford Logic Guides","volume-title":"Fibring Logics","author":"DM Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics. Oxford Logic Guides, vol. 38. The Clarendon Press, Oxford University Press, New York (1999)"},{"issue":"1","key":"8_CR6","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 Univers. 69(1), 1\u201321 (2013)","journal-title":"Algebra Univers."},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s00012-017-0456-x","volume":"78","author":"N Galatos","year":"2017","unstructured":"Galatos, N., Jipsen, P.: Distributive residuated frames and generalized bunched implication algebras. Algebra Univers. 78(3), 303\u2013336 (2017)","journal-title":"Algebra Univers."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Galatos, N., Jipsen, P.: The structure of generalized BI-algebras and weakening relation algebras (2019, preprint). http:\/\/math.chapman.edu\/jipsen\/preprints\/GalatosJipsenGBIsubmitted.pdf","DOI":"10.1007\/s00012-020-00663-9"},{"key":"8_CR9","series-title":"Studies in Logic and the Foundations of Mathematics","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. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"9","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1016\/j.apal.2010.01.003","volume":"161","author":"N Galatos","year":"2010","unstructured":"Galatos, N., Ono, H.: Cut elimination and strong separation for substructural logics: an algebraic approach. Ann. Pure Appl. Logic 161(9), 1097\u20131133 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"10","key":"8_CR11","doi-asserted-by":"publisher","first-page":"3514","DOI":"10.1016\/j.jpaa.2016.04.013","volume":"220","author":"J Gil-F\u00e9rez","year":"2016","unstructured":"Gil-F\u00e9rez, J., Ledda, A., Paoli, F., Tsinakis, C.: Projectable l-groups and algebras of logic: categorical and algebraic connections. J. Pure Appl. Algebra 220(10), 3514\u20133532 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Jipsen, P.: Discriminator Varieties of Boolean Algebras with Residuated Operators. Algebraic Methods in Logic and in Computer Science, Warsaw 1991, Polish Academy of Science, Institute of Mathematics, Warsaw, vol. 28, pp. 239\u2013252. Banach Center Publications (1993)","DOI":"10.4064\/-28-1-239-252"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-57418-9_9","volume-title":"Relational and Algebraic Methods in Computer Science","author":"P Jipsen","year":"2017","unstructured":"Jipsen, P.: Relation algebras, idempotent semirings and generalized bunched implication algebras. In: H\u00f6fner, P., Pous, D., Struth, G. (eds.) RAMICS 2017. LNCS, vol. 10226, pp. 144\u2013158. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57418-9_9"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110\u2013121 (1967)","journal-title":"Math. Scand."},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B J\u00f3nsson","year":"1982","unstructured":"J\u00f3nsson, B.: Varieties of relation algebras. Algebra Univers. 15(3), 273\u2013298 (1982)","journal-title":"Algebra Univers."},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B J\u00f3nsson","year":"1952","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. II. Amer. J. Math. 74, 127\u2013162 (1952)","journal-title":"Amer. J. Math."},{"issue":"4","key":"8_CR17","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/BF01195378","volume":"30","author":"B J\u00f3nsson","year":"1993","unstructured":"J\u00f3nsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Univers. 30(4), 469\u2013478 (1993)","journal-title":"Algebra Univers."},{"key":"8_CR18","unstructured":"McCune, W.: Prover9 and Mace4 (2005). https:\/\/www.cs.unm.edu\/mccune\/mace4\/"},{"issue":"1\u20133","key":"8_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.tcs.2006.12.035","volume":"375","author":"PW O\u2019Hearn","year":"2007","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency, and local reasoning. Theor. Comput. Sci. 375(1\u20133), 271\u2013307 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR20","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"DJ Pym","year":"2002","unstructured":"Pym, D.J.: The Semantics and Proof Theory of the Logic of Bunched Implications. APLS, vol. 26. Springer, Dordrecht (2002). https:\/\/doi.org\/10.1007\/978-94-017-0091-7"},{"key":"8_CR21","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22\u201325 July 2002, Copenhagen, Denmark, pp. 55-74 (2002)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-33314-9_22","volume-title":"Relational and Algebraic Methods in Computer Science","author":"JG Stell","year":"2012","unstructured":"Stell, J.G.: Relations on hypergraphs. In: Kahl, W., Griffin, T.G. (eds.) RAMICS 2012. LNCS, vol. 7560, pp. 326\u2013341. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33314-9_22"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.jlamp.2014.12.001","volume":"84","author":"JG Stell","year":"2015","unstructured":"Stell, J.G.: Symmetric Heyting relation algebras with applications to hypergraphs. J. Log. Algebr. Methods Program. 84(3), 440\u2013455 (2015)","journal-title":"J. Log. Algebr. Methods Program."}],"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-030-43520-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T19:02:50Z","timestamp":1709665370000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-43520-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030435196","9783030435202"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43520-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"1 April 2020","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":"Palaiseau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ramics18.gforge.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}