Jan A. Bergstra, John V. Tucker (2025)
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts.
Journal of Logic, Language and Information34: 371.
DOI: 10.1007/s10849-025-09438-8
Jan A. Bergstra, John V. Tucker (2024)
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero.
Journal of Logic, Language and Information33: 277.
DOI: 10.1007/s10849-024-09420-w