The axiomatization of override and update

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

zbMATH Keywords

completenessequational logicfunction algebraautomated deductionSMT solversoverriding

Mathematics Subject Classification ID

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

• Isabelle/HOL
• Yices
• Z

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