Eager Equality for Rational Number Arithmetic

DOI10.1145/3580365MaRDI QIDQ6116359

J. V. Tucker, Jan A. Bergstra

Publication date: 18 July 2023

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

zbMATH Keywords

partial algebrasflatteningwheelscommon meadowfracterm calculuscautious equalityeager equalityKleene equalitytransrationals

Mathematics Subject Classification ID

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

Related Items (1)

Symmetric transrationals: the data type and the algorithmic degree of its equational theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fracpairs and fractions over a reduced commutative ring
• Transformation of fractions into simple fractions in divisive meadows
• Meadows and the equational specification of division
• A completeness theorem for weak equational logic
• Equational theories and universal theories of fields
• Weak and strong equations in partial algebras
• Arithmetical datatypes with true fractions
• The wheel of rational numbers as an abstract data type
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• The rational numbers as an abstract data type
• A system of logic for partial functions under existence-dependent kleene equality
• Wheels on division by zero
• A mechanization of strong Kleene logic for partial functions
• Division by Zero in Common Meadows
• Automated Reasoning
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic

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