2 papers
cs.LO2026
On Ambiguity: The case of fraction, its meanings and roles
Jan A Bergstra, John V Tucker
We contemplate the notion of ambiguity in mathematical discourse. We consider a general method of resolving ambiguity and semantic options for sustaining a resolution. The general…
cs.LO2024
Rings with common division, common meadows and their conditional equational theories
Jan A Bergstra, John V Tucker
We examine the consequences of having a total division operation on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the…