A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows.

Jan A. Bergstra John V. Tucker

Published in: CoRR (2023)

Keyphrases

equational theories
theorem proving
automated deduction
provably correct
database
neural network
search algorithm
modal logic
inference rules
information systems
real numbers