References & Citations
Computer Science > Logic in Computer Science
Title: A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
(Submitted on 9 Jul 2023 (v1), last revised 24 Apr 2024 (this version, v2))
Abstract: We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value $\bot$ whose main purpose is to always return a value for division. To rings and fields, we add a division operator $x/y$ and study a class of algebras called common meadows wherein $x/0 = \bot$. The set of equations true in all common meadows is named the equational theory of common meadows. We give a finite equational axiomatisation of the equational theory of common meadows and prove that it is complete and that the equational theory is decidable.
Submission history
From: John Tucker [view email][v1] Sun, 9 Jul 2023 21:58:39 GMT (38kb)
[v2] Wed, 24 Apr 2024 20:31:37 GMT (46kb)
Link back to: arXiv, form interface, contact.