The axiomatization of override and update
From MaRDI portal
Publication:975885
DOI10.1016/J.JAL.2009.11.001zbMATH Open1194.03020OpenAlexW1971094484MaRDI QIDQ975885FDOQ975885
Authors: Jasper Berendsen, David N. Jansen, Julien Schmaltz, F. Vaandrager 
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
Recommendations
Relational systems, laws of composition (08A02) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Title not available (Why is that?)
- Isabelle/HOL. A proof assistant for higher-order logic
- Title not available (Why is that?)
- A new approach to the maximum-flow problem
- Title not available (Why is that?)
- Model theory.
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Compositional Abstraction in Real-Time Model Checking
- Subsumption of the Theory of Boolean Algebras under the Theory of Rings
Cited In (10)
- Skew lattices and binary operations on functions
- Override and restricted union for partial functions
- Residuated skew lattices
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Difference-restriction algebras of partial functions: axiomatisations and representations
- Override and update
- How to generalise demonic composition
- My journey into noncommutative lattices and their theory
- The algebra of functions with antidomain and range
- A non-commutative Priestley duality.
Uses Software
This page was built for publication: The axiomatization of override and update
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975885)
