Eager Equality for Rational Number Arithmetic

DOI10.1145/3580365MaRDI QIDQ6116359zbMATH OpenWikidataFDO

Authors J. A. Bergstra, John V. Tucker

Publication date 18 July 2023

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3580365

zbMATH Keywords

cautious equalitycommon meadoweager equalityflatteningfracterm calculusKleene equalitypartial algebrastransrationalswheels

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A completeness theorem for weak equational logic
• A mechanization of strong Kleene logic for partial functions
• A system of logic for partial functions under existence-dependent kleene equality
• Arithmetical datatypes with true fractions
• Automated Reasoning
• Division by zero in common meadows
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• Equational theories and universal theories of fields
• Fracpairs and fractions over a reduced commutative ring
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3595145 (Why is no real title available?)
• scientific article; zbMATH DE number 2086873 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 7696416 (Why is no real title available?)
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic
• Meadows and the equational specification of division
• The rational numbers as an abstract data type
• The wheel of rational numbers as an abstract data type
• Transformation of fractions into simple fractions in divisive meadows
• Undecidability in number theory
• Weak and strong equations in partial algebras
• Wheels on division by zero

Cited in

(3)

• Symmetric transrationals: the data type and the algorithmic degree of its equational theory
• Finite approximations of the common meadow of rational numbers
• Logical models of mathematical texts. II: legality conventions for division by zero in inconsistent contexts

This page was built for publication: Eager Equality for Rational Number Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6116359)