The axiomatization of override and update
From MaRDI portal
Publication:975885
DOI10.1016/j.jal.2009.11.001zbMath1194.03020OpenAlexW1971094484MaRDI QIDQ975885
Julien Schmaltz, Frits W. Vaandrager, Jasper Berendsen, David N. Jansen
Publication date: 11 June 2010
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/83911
Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05) Relational systems, laws of composition (08A02)
Related Items (9)
Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ A non-commutative Priestley duality. ⋮ Residuated skew lattices ⋮ Override and update ⋮ The algebra of functions with antidomain and range ⋮ Skew lattices and binary operations on functions ⋮ How to generalise demonic composition ⋮ My journey into noncommutative lattices and their theory
Uses Software
Cites Work
- Model theory.
- Isabelle/HOL. A proof assistant for higher-order logic
- Compositional Abstraction in Real-Time Model Checking
- A new approach to the maximum-flow problem
- Subsumption of the Theory of Boolean Algebras under the Theory of Rings
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The axiomatization of override and update