Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662899 | Journal of Applied Logic | 2013 | 13 Pages |
Abstract
A recent study of the override and update operations defined on sets of partial functions placed both operations within the algebraic context of a certain variety of algebras. We show the latter to be term equivalent to the variety of right-handed skew Boolean algebras. Both operations are then studied within the broader context of skew lattices with an eye towards achieving greater insight into their joint algebraic behavior. A decision procedure is given to determine whether an equation in both operations holds for all sets of partial functions.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Karin Cvetko-Vah, Jonathan Leech, Matthew Spinks,