{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T05:23:22Z","timestamp":1701408202761},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"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":["Algebra Univers."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s00012-022-00775-4","type":"journal-article","created":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T12:04:43Z","timestamp":1656331483000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Difference\u2013restriction algebras of partial functions: axiomatisations and representations"],"prefix":"10.1007","volume":"83","author":[{"given":"C\u00e9lia","family":"Borlido","sequence":"first","affiliation":[]},{"given":"Brett","family":"McLean","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,27]]},"reference":[{"key":"775_CR1","volume-title":"Sets, Lattices, and Boolean Algebras","author":"JC Abbott","year":"1969","unstructured":"Abbott, J.C.: Sets, Lattices, and Boolean Algebras. Allyn and Bacon, Boston (1969)"},{"key":"775_CR2","doi-asserted-by":"crossref","unstructured":"Abian, A.: Boolean rings with isomorphisms preserving suprema and infima. J. Lond. Math. Soc. s2-3(4), 618\u2013620 (1971)","DOI":"10.1112\/jlms\/s2-3.4.618"},{"key":"775_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, A., Cvetko-Vah, K., Gehrke, M., van Gool, S.J., Kudryavtseva, G.: A non-commutative Priestley duality. Topol. Appl. 160(12), 1423\u20131438 (2013)","DOI":"10.1016\/j.topol.2013.05.012"},{"issue":"1","key":"775_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.jal.2009.11.001","volume":"8","author":"J Berendsen","year":"2010","unstructured":"Berendsen, J., Jansen, D.N., Schmaltz, J., Vaandrager, F.W.: The axiomatization of override and update. J. Appl. Log. 8(1), 141\u2013150 (2010)","journal-title":"J. Appl. Log."},{"key":"775_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P., Rijke, M.d., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"775_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2022.03.039","author":"C Borlido","year":"2022","unstructured":"Borlido, C., McLean, B.: Difference-restriction algebras of partial functions with operators: discrete duality and completion. J. Algebra (in press) (2022). https:\/\/doi.org\/10.1016\/j.jalgebra.2022.03.039","journal-title":"J. Algebra (in press)"},{"issue":"3","key":"775_CR7","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. Symbol. Logic 70(3), 713\u2013740 (2005)","journal-title":"J. Symbol. Logic"},{"issue":"3","key":"775_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00012-012-0181-4","volume":"67","author":"R Egrot","year":"2012","unstructured":"Egrot, R., Hirsch, R.: Completely representable lattices. Algebra Univ. 67(3), 205\u2013217 (2012)","journal-title":"Algebra Univ."},{"issue":"3","key":"775_CR9","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2984450.2984453","volume":"3","author":"E Filiot","year":"2016","unstructured":"Filiot, E., Reynier, P.A.: Transducers, logic and algebra for functions of finite words. ACM SIGLOG News 3(3), 4\u201319 (2016)","journal-title":"ACM SIGLOG News"},{"issue":"2","key":"775_CR10","first-page":"207","volume":"40","author":"M Gehrke","year":"1994","unstructured":"Gehrke, M., Bjarni, J.: Bounded distributive lattices with operators. Math. Japon. 40(2), 207\u2013215 (1994)","journal-title":"Math. Japon."},{"issue":"1","key":"775_CR11","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345\u2013371 (2001)","journal-title":"J. Algebra"},{"key":"775_CR12","doi-asserted-by":"crossref","unstructured":"Gould, V., Hollings, C.: Restriction semigroups and inductive constellations. Commun. Algebra 38(1), 261\u2013287 (2009)","DOI":"10.1080\/00927870902887096"},{"issue":"3","key":"775_CR13","doi-asserted-by":"publisher","first-page":"816","DOI":"10.2307\/2275574","volume":"62","author":"R Hirsch","year":"1997","unstructured":"Hirsch, R., Hodkinson, I.: Complete representations in algebraic logic. J. Symbol. Logic 62(3), 816\u2013847 (1997)","journal-title":"J. Symbol. Logic"},{"issue":"6","key":"775_CR14","doi-asserted-by":"publisher","first-page":"2214","DOI":"10.1016\/j.jpaa.2015.11.003","volume":"220","author":"R Hirsch","year":"2016","unstructured":"Hirsch, R., Jackson, M., Mikul\u00e1s, S.: The algebra of functions with antidomain and range. J. Pure Appl. Algebra 220(6), 2214\u20132239 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"775_CR15","unstructured":"Hirsch, R., McLean, B.: Disjoint-union partial algebras. Logical Methods Comput. Sci. 13(2:10), 1\u201331 (2017)"},{"issue":"7","key":"775_CR16","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1142\/S0218196711006844","volume":"21","author":"M Jackson","year":"2011","unstructured":"Jackson, M., Stokes, T.: Modal restriction semigroups: towards an algebra of functions. Int. J. Algebra Comput. 21(7), 1053\u20131095 (2011)","journal-title":"Int. J. Algebra Comput."},{"issue":"2","key":"775_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.jlamp.2014.08.007","volume":"84","author":"M Jackson","year":"2015","unstructured":"Jackson, M., Stokes, T.: Monoids with tests and the algebra of possibly non-halting programs. J. Logical Algebraic Methods Program. 84(2), 259\u2013275 (2015)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"775_CR18","doi-asserted-by":"crossref","unstructured":"Jackson, M., Stokes, T.: Override and update. J. Pure Appl. Algebra 225(3), 106,532 (2021)","DOI":"10.1016\/j.jpaa.2020.106532"},{"issue":"4","key":"775_CR19","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B Jonsson","year":"1951","unstructured":"Jonsson, B., Tarski, A.: Boolean algebras with operators. Part I. Am. J. Math. 73(4), 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"issue":"1","key":"775_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00012-015-0361-0","volume":"75","author":"G Kudryavtseva","year":"2016","unstructured":"Kudryavtseva, G., Lawson, M.V.: Boolean sets, skew Boolean algebras and a non-commutative Stone duality. Algebra Univ. 75(1), 1\u201319 (2016)","journal-title":"Algebra Univ."},{"key":"775_CR21","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.aim.2017.02.028","volume":"311","author":"G Kudryavtseva","year":"2017","unstructured":"Kudryavtseva, G., Lawson, M.V.: A perspective on non-commutative frame theory. Adv. Math. 311, 378\u2013468 (2017)","journal-title":"Adv. Math."},{"issue":"3","key":"775_CR22","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1017\/S1446788710000145","volume":"88","author":"MV Lawson","year":"2010","unstructured":"Lawson, M.V.: A noncommutative generalization of Stone duality. J. Aust. Math. Soc. 88(3), 385\u2013404 (2010)","journal-title":"J. Aust. Math. Soc."},{"key":"775_CR23","doi-asserted-by":"crossref","unstructured":"Lawson, M.V.: Non-commutative Stone duality: inverse semigroups, topological groupoids and C*-algebras. Int. J. Algebra Comput. 22(06), 1250, 058 (2012)","DOI":"10.1142\/S0218196712500580"},{"key":"775_CR24","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.jalgebra.2016.05.013","volume":"462","author":"MV Lawson","year":"2016","unstructured":"Lawson, M.V.: Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff \u00e9tale groupoids. J. Algebra 462, 77\u2013114 (2016)","journal-title":"J. Algebra"},{"key":"775_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.aim.2013.04.022","volume":"244","author":"MV Lawson","year":"2013","unstructured":"Lawson, M.V., Lenz, D.H.: Pseudogroups and their \u00e9tale groupoids. Adv. Math. 244, 117\u2013170 (2013)","journal-title":"Adv. Math."},{"issue":"2","key":"775_CR26","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1017\/S144678871200050X","volume":"94","author":"MV Lawson","year":"2013","unstructured":"Lawson, M.V., Margolis, S.W., Steinberg, B.: The \u00e9tale groupoid of an inverse semigroup as a groupoid of filters. J. Aust. Math. Soc. 94(2), 234\u2013256 (2013)","journal-title":"J. Aust. Math. Soc."},{"issue":"1","key":"775_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02574320","volume":"44","author":"J Leech","year":"1992","unstructured":"Leech, J.: Normal skew lattices. Semigroup Forum 44(1), 1\u20138 (1992)","journal-title":"Semigroup Forum"},{"issue":"1","key":"775_CR28","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02574077","volume":"52","author":"J Leech","year":"1996","unstructured":"Leech, J.: Recent developments in the theory of skew lattices. Semigroup Forum 52(1), 7\u201324 (1996)","journal-title":"Semigroup Forum"},{"issue":"4","key":"775_CR29","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1093\/logcom\/exu081","volume":"27","author":"B McLean","year":"2017","unstructured":"McLean, B.: Complete representation by partial functions for composition, intersection and antidomain. J. Log. Comput. 27(4), 1143\u20131156 (2017)","journal-title":"J. Log. Comput."},{"key":"775_CR30","unstructured":"McLean, B.: Algebras of partial functions. Ph.D. thesis, University College London (2018)"},{"key":"775_CR31","doi-asserted-by":"crossref","unstructured":"McLean, B.: A categorical duality for algebras of partial functions. J. Pure Appl. Algebra 225(11), 106 (2021)","DOI":"10.1016\/j.jpaa.2021.106755"},{"issue":"8","key":"775_CR32","doi-asserted-by":"publisher","first-page":"2153","DOI":"10.1080\/00927879208824453","volume":"20","author":"BM Schein","year":"1992","unstructured":"Schein, B.M.: Difference semigroups. Comm. Algebra 20(8), 2153\u20132169 (1992)","journal-title":"Comm. Algebra"},{"key":"775_CR33","first-page":"1119","volume":"84","author":"VV Wagner","year":"1952","unstructured":"Wagner, V.V.: Generalised groups. Proc. USSR Acad. Sci. 84, 1119\u20131122 (1952)","journal-title":"Proc. USSR Acad. Sci."}],"container-title":["Algebra universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-022-00775-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00012-022-00775-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-022-00775-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T14:09:45Z","timestamp":1660226985000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00012-022-00775-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["775"],"URL":"https:\/\/doi.org\/10.1007\/s00012-022-00775-4","relation":{},"ISSN":["0002-5240","1420-8911"],"issn-type":[{"value":"0002-5240","type":"print"},{"value":"1420-8911","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,27]]},"assertion":[{"value":"19 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 April 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conlict of interest"}}],"article-number":"24"}}