{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:31:16Z","timestamp":1775097076407,"version":"3.50.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319574172","type":"print"},{"value":"9783319574189","type":"electronic"}],"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-319-57418-9_9","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T03:11:16Z","timestamp":1493003476000},"page":"144-158","source":"Crossref","is-referenced-by-count":12,"title":["Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras"],"prefix":"10.1007","author":[{"given":"Peter","family":"Jipsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.fss.2015.12.009","volume":"303","author":"I Chajda","year":"2016","unstructured":"Chajda, I., L\u00e4nger, H.: General coupled semirings of residuated lattices. Fuzzy Sets Syst. 303, 128\u2013135 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1090\/conm\/377\/06988","volume":"377","author":"A Nola Di","year":"2005","unstructured":"Di Nola, A., Gerla, B.: Algebras of \u0141ukasiewicz\u2019s logic and their semiring reducts. Contemp. Math. 377, 131\u2013144 (2005)","journal-title":"Contemp. Math."},{"key":"9_CR3","first-page":"2019","volume":"365","author":"N Galatos","year":"2013","unstructured":"Galatos, N., Jipsen, P.: Residuated frames with applications to decidability. Trans. AMS 365, 2019\u20132049 (2013)","journal-title":"Trans. AMS"},{"issue":"1","key":"9_CR4","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."},{"key":"9_CR5","unstructured":"Galatos, N., Jipsen, P.: Distributive residuated frames and generalized bunched implication algebras, to appear"},{"key":"9_CR6","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":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1017\/S0960129505004858","volume":"15","author":"D Galmiche","year":"2005","unstructured":"Galmiche, D., M\u00e9ry, D., Pym, D.J.: The semantics of BI and resource tableaux. Math. Struct. Comput. Sci. 15(6), 1033\u20131088 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9_CR8","unstructured":"Jipsen, P.: Computer-aided investigations of relation algebras. Dissertation, Vanderbilt University (1992). \nhttp:\/\/www1.chapman.edu\/~jipsen\/dissertation\/"},{"key":"9_CR9","first-page":"235","volume":"1","author":"P Jipsen","year":"2004","unstructured":"Jipsen, P.: Representable sequential algebras and observation spaces. J. Relational Methods Comput. Sci. 1, 235\u2013250 (2004)","journal-title":"J. Relational Methods Comput. Sci."},{"issue":"4","key":"9_CR10","first-page":"565","volume":"5","author":"P Jipsen","year":"1997","unstructured":"Jipsen, P., Maddux, R.D.: Nonrepresentable sequential algebras. Logic J. IPGL 5(4), 565\u2013574 (1997)","journal-title":"Logic J. IPGL"},{"key":"9_CR11","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. Part II Am. J. Math. 74, 127\u2013162 (1952)","journal-title":"Part II Am. J. Math."},{"issue":"4","key":"9_CR12","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."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF01049412","volume":"4","author":"\u00c1 Kurucz","year":"1995","unstructured":"Kurucz, \u00c1., N\u00e9meti, I., Sain, I., Simon, A.: Decidable and undecidable logics with a binary modality. J. Logic Lang. Inf. 4(3), 191\u2013206 (1995)","journal-title":"J. Logic Lang. Inf."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"11","author":"D Monk","year":"1964","unstructured":"Monk, D.: On representable relation algebras. Mich. Math. J. 11, 207\u2013210 (1964)","journal-title":"Mich. Math. J."},{"key":"9_CR15","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. Applied Logic Series, vol. 26. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Reynolds, J.C., Logic, S.: A logic for shared mutable data structures. In: Proceedings of 17th IEEE Symposium on Logic in Computer Science (LICS 2002), Copenhagen, 22\u201325 July, pp. 55\u201374 (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s00012-005-1957-6","volume":"54","author":"A Wille","year":"2005","unstructured":"Wille, A.: A Gentzen system for involutive residuated lattices. Algebra Univers. 54(4), 449\u2013463 (2005)","journal-title":"Algebra Univers."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T03:14:11Z","timestamp":1493003651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}