Logical models of mathematical texts: the case of conventions for division by zero.
type: Item
instance of: scholarly article
title: Logical models of mathematical texts: the case of conventions for division by zero.
author: J. A. Bergstra
author: John V. Tucker
published in: Journal of Logic, Language and Information
publication date: 2025-01-13T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7965522
zbMATH Keywords: division by zero
zbMATH Keywords: arithmetic
zbMATH Keywords: traditional conventions for writing mathematics
zbMATH Keywords: legal texts
zbMATH Keywords: illegal texts
zbMATH Keywords: undecidability
zbMATH Keywords: common meadows
MaRDI profile type: MaRDI publication profile
cites work: A system of logic for partial functions under existence-dependent kleene equality
cites work: Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
cites work: A propositional logic with 4 values: true, false, divergent and meaningless
cites work: Transformation of fractions into simple fractions in divisive meadows
cites work: Division by Zero in Common Meadows
cites work: Fracpairs and fractions over a reduced commutative ring
cites work: The rational numbers as an abstract data type
cites work: Symmetric transrationals: the data type and the algorithmic degree of its equational theory
cites work: Wheels on division by zero
cites work: Q6104576
cites work: A first order logic for partial functions
cites work: A typed logic of partial functions reconstructed classically
cites work: Q4138782
cites work: Q4286756
cites work: Q4160889
cites work: Equational theories and universal theories of fields
cites work: An independent axiomatisation for free short-circuit logic
cites work: Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
DOI: 10.1007/S10849-024-09420-W
description: scientific article; zbMATH DE number 7965522