Override and restricted union for partial functions

DOI10.1007/S00012-024-00864-6MaRDI QIDQ6595122zbMATH OpenFDO

Authors T. E. Stokes

Publication date 29 August 2024

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00012-024-00864-6

zbMATH Keywords

axiomatisationfunctionintersectionoverride

Mathematics Subject Classification ID

Ordered structures (06F99) Relational systems, laws of composition (08A02) Semigroups of transformations, relations, partitions, etc. (20M20)

Recommendations

• Disjoint-union partial algebras
• The axiomatization of override and update
• The algebra of functions with antidomain and range
• scientific article; zbMATH DE number 4077304
• Override and update

Cites work

• Disjoint-union partial algebras
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• scientific article; zbMATH DE number 3271476 (Why is no real title available?)
• scientific article; zbMATH DE number 3317807 (Why is no real title available?)
• scientific article; zbMATH DE number 3387640 (Why is no real title available?)
• Modal restriction semigroups: towards an algebra of functions.
• Nearlattices with an overriding operation
• Normal skew lattices
• Override and update
• Semigroups embeddable in hyperplane face monoids.
• Skew Boolean algebras
• Skew lattices and binary operations on functions
• The axiomatization of override and update
• The poset structure of positive implicative BCK-algebras
• THE QUIVER OF THE SEMIGROUP ALGEBRA OF A LEFT REGULAR BAND

Cited in

(1)

• Restriction in Program Algebra

This page was built for publication: Override and restricted union for partial functions

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