Restriction in Program Algebra

DOI10.1093/JIGPAL/JZAC058MaRDI QIDQ6200753zbMATH OpenFDO

Authors Marcel Jackson, T. E. Stokes

Publication date 20 February 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2109.05643

zbMATH Keywords

domain restrictionfinite axiomatizationoverridepartial functionupdate

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Abstract: We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are override and update, difference, minus, intersection, composition and domain, all of which find motivation in computer science. All axiomatisations found are finite, many of them equational.

Recommendations

• Modal restriction semigroups: towards an algebra of functions.
• scientific article; zbMATH DE number 58299
• Override and restricted union for partial functions
• Override and update
• Difference-restriction algebras of partial functions: axiomatisations and representations

This page was built for publication: Restriction in Program Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200753)