John V. Tucker

Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero

2024 · Journal of Logic Language and Information

Abstract Arithmetical texts involving division are governed by conventions that avoid the risk of problems to do with division by zero (DbZ). A model for elementary arithmetic texts is given, and with the help of …