{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T12:13:37Z","timestamp":1695816817562},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We provide complete classifications of algebras of partial maps for a significant swathe of combinations of operations not previously classified. Our focus is the many subsidiary operations that arise in recent considerations of the \u2018override\u2019 and \u2018update\u2019 operations arising in specification languages. These other operations turn out to have an older pedigree: domain restriction, set subtraction and intersection. All signatures considered include domain restriction, at least as a term. Combinations of the operations are classified and given complete axiomatizations with and without the presence of functional composition. Each classification is achieved by way of providing a concrete representation of the corresponding abstract algebras as partial maps acting on special kinds of filters determined with respect to various induced orders. In contrast to many negative results in the broader area, all of the considered combinations lead to finite axiomatizations.<\/jats:p>","DOI":"10.1093\/jigpal\/jzac058","type":"journal-article","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T23:32:03Z","timestamp":1658187123000},"page":"926-960","source":"Crossref","is-referenced-by-count":0,"title":["Restriction in Program Algebra"],"prefix":"10.1093","volume":"31","author":[{"given":"Marcel","family":"Jackson","sequence":"first","affiliation":[{"name":"Department of Mathematical and Physical Sciences, La Trobe University , Victoria 3086, Australia"}]},{"given":"Tim","family":"Stokes","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Waikato , Hamilton 3240, New Zealand"}]}],"member":"286","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"key":"2023092607150484100_ref1","first-page":"1","article-title":"Implication algebra","volume":"11","author":"Abbott","year":"1967","journal-title":"Bull. Math. Soc. Math. R. S. Roumania"},{"key":"2023092607150484100_ref2","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.jal.2009.11.001","article-title":"The axiomatization of override and update","volume":"8","author":"Berendsen","year":"2010","journal-title":"Journal of Applied Logic"},{"key":"2023092607150484100_ref3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF01190707","article-title":"Skew Boolean algebras and discriminator varieties","volume":"33","author":"Bignall","year":"1995","journal-title":"Algebra Universalis"},{"key":"2023092607150484100_ref4","first-page":"3","volume-title":"An abstract characterization of some classes of algebras of binary relations, Algebra and Number Theory","author":"Bredikhin","year":"1977"},{"key":"2023092607150484100_ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/cm-39-1-1-12","article-title":"Representations of ordered semigroups and lattices by binary relations","volume":"39","author":"Bredikhin","year":"1978","journal-title":"Colloquium Mathematicum"},{"key":"2023092607150484100_ref6","first-page":"24","article-title":"Difference-restriction algebras of partial functions: axiomatisations and representations","volume-title":"Algebra Universalis","author":"Borlido","year":"2022"},{"key":"2023092607150484100_ref7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s11083-010-9152-6","article-title":"Nearlattices with an overriding operation","volume":"28","author":"Cirulis","year":"2011","journal-title":"Order"},{"key":"2023092607150484100_ref8","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.jal.2013.03.011","article-title":"Skew lattices and binary operations on functions","volume":"11","author":"Cvetko-Vah","year":"2013","journal-title":"Journal of Applied Logic"},{"key":"2023092607150484100_ref9","doi-asserted-by":"crossref","first-page":"5921","DOI":"10.1081\/AGB-120016022","article-title":"Functional Menger $\\mathcal {P}$-algebras","volume":"30","author":"Dudek","year":"2002","journal-title":"Communications in Algebra"},{"key":"2023092607150484100_ref10","first-page":"2","article-title":"$\\cap $-semigroups of transformations","volume-title":"Theory of Semigroups and its Applications","author":"Garvac\u2019kii\u0306","year":"1971"},{"key":"2023092607150484100_ref11","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1142\/S0218196705002451","article-title":"Faithful functors from cancellative categories to cancellative monoids with an application to abundant semigroups","volume":"15","author":"Kambites","year":"2005","journal-title":"International Journal of Algebra and Computation"},{"key":"2023092607150484100_ref12","first-page":"403","article-title":"Representability is not decidable for finite relation algebras","volume":"353","author":"Hirsch","year":"2001","journal-title":"Transactions of the American Mathematical Society"},{"key":"2023092607150484100_ref13","article-title":"Relation algebras by games","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"Hirsch","year":"2002"},{"key":"2023092607150484100_ref14","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.2178\/jsl.7704090","article-title":"Undecidability of representability as binary relations","volume":"77","author":"Hirsch","year":"2012","journal-title":"Journal of Symbolic Logic"},{"key":"2023092607150484100_ref15","first-page":"1","author":"Hirsch","journal-title":"Demonic Lattices and Semilattices in Relational Semigroups With Ordinary Composition"},{"key":"2023092607150484100_ref16","doi-asserted-by":"crossref","DOI":"10.1007\/s00012-021-00719-4","article-title":"Axioms for signatures with domain and demonic composition","volume":"82","author":"Hirsch","year":"2021","journal-title":"Algebra Universalis"},{"key":"2023092607150484100_ref17","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0021-8693(03)00314-4","article-title":"Agreeable semigroups","volume":"266","author":"Jackson","year":"2003","journal-title":"Journal of Algebra"},{"key":"2023092607150484100_ref18","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1142\/S0218196709005354","article-title":"Semigroups with if-then-else and halting programs","volume":"19","author":"Jackson","year":"2009","journal-title":"International Journal of Algebra and Computation"},{"key":"2023092607150484100_ref19","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1142\/S0218196711006844","article-title":"Modal restriction semigroups: towards an algebra of functions","volume":"21","author":"Jackson","year":"2011","journal-title":"International Journal of Algebra and Computation"},{"key":"2023092607150484100_ref20","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1016\/j.jalgebra.2012.11.029","article-title":"On representing semigroups with subsemilattices","volume":"376","author":"Jackson","year":"2013","journal-title":"Journal of Algebra"},{"key":"2023092607150484100_ref21","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.jlamp.2014.08.007","article-title":"Monoids with tests and the algebra of possibly non-halting programs","volume":"84","author":"Jackson","year":"2015","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"2023092607150484100_ref22","doi-asserted-by":"crossref","DOI":"10.1016\/j.jpaa.2020.106532","article-title":"Override and update","volume":"225","author":"Jackson","year":"2021","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2023092607150484100_ref23","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/BF01188995","article-title":"Skew Boolean algebras","volume":"27","author":"Leech","year":"1990","journal-title":"Algebra Universalis"},{"key":"2023092607150484100_ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02574320","article-title":"Normal skew lattices","volume":"44","author":"Leech","year":"1992","journal-title":"Semigroup Forum"},{"key":"2023092607150484100_ref25","volume-title":"Prover9 and Mace4, version LADR-Dec-2007","author":"McCune"},{"key":"2023092607150484100_ref26","article-title":"Relation algebras","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"Maddux","year":"2006"},{"key":"2023092607150484100_ref27","first-page":"567","article-title":"Implication algebras are dual to implicative BCK-algebras","volume":"22","author":"Meng","year":"1996","journal-title":"Soochow Journal of Mathematics"},{"key":"2023092607150484100_ref28","first-page":"454","article-title":"An axiomatic theory of functions and fluents","volume-title":"Studies Logic Found. Math.","author":"Menger","year":"1959"},{"key":"2023092607150484100_ref29","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s00012-016-0409-9","article-title":"Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups","volume":"76","author":"Neuzerling","year":"2016","journal-title":"Algebra Universalis"},{"key":"2023092607150484100_ref30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02573019","article-title":"Relation algebras and function semigroups","volume":"1","author":"Schein","year":"1970","journal-title":"Semigroup Forum"},{"key":"2023092607150484100_ref31","first-page":"91","article-title":"Restrictively multiplicative algebras of transformations","volume":"4","author":"Schein","year":"1970","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Matematika"},{"key":"2023092607150484100_ref32","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1090\/trans2\/113\/06","article-title":"Lectures on semigroups of transformations","volume":"113","author":"Schein","year":"1979","journal-title":"Amer. Math. Soc. Translat. Ser."},{"key":"2023092607150484100_ref33","doi-asserted-by":"crossref","first-page":"2153","DOI":"10.1080\/00927879208824453","article-title":"Difference semigroups","volume":"20","author":"Schein","year":"1992","journal-title":"Communications in Algebra"},{"key":"2023092607150484100_ref34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01351670","article-title":"Function systems","volume":"172","author":"Schweizer","year":"1967","journal-title":"Mathematische Annalen"},{"key":"2023092607150484100_ref35","volume-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1989"},{"key":"2023092607150484100_ref36","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s00233-010-9226-1","article-title":"Comparison semigroups and algebras of transformations","volume":"81","author":"Stokes","year":"2010","journal-title":"Semigroup Forum"},{"key":"2023092607150484100_ref37","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"2023092607150484100_ref38","first-page":"71","article-title":"Menger\u2019s function systems","volume":"11","author":"Trokhimenko","year":"1973","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Matematika"},{"key":"2023092607150484100_ref39","first-page":"19","article-title":"Restrictive semigroups","volume":"31","author":"Vagner","year":"1962","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Matematika"},{"key":"2023092607150484100_ref40","first-page":"48","article-title":"The representation of ordered semigroups by binary relations","volume":"6","author":"Zarecki\u012d","year":"1959","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Matematika"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/5\/926\/51754068\/jzac058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/5\/926\/51754068\/jzac058.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T07:15:37Z","timestamp":1695712537000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/5\/926\/6646025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,19]]},"references-count":40,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2022,7,19]]},"published-print":{"date-parts":[[2023,9,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzac058","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,10]]},"published":{"date-parts":[[2022,7,19]]}}}