Override and update

DOI10.1016/j.jpaa.2020.106532zbMath1454.08004arXiv1907.08336OpenAlexW2963498285MaRDI QIDQ2200953

Marcel Jackson, Timothy Stokes

Publication date: 24 September 2020

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

updatepartial functionhyperplane face monoidoverride

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations

Uses Software

• Prover9
• Mace4
• Z

Cites Work

• Semigroups embeddable in hyperplane face monoids.
• Nearlattices with an overriding operation
• The algebra of functions with antidomain and range
• The axiomatization of override and update
• A completeness theorem for Kleene algebras and the algebra of regular events
• Skew lattices and binary operations on functions
• On the complexity of reasoning in Kleene algebra
• Skew Boolean algebras
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Override and update