Logical models of mathematical texts: the case of conventions for division by zero.
From MaRDI portal
Publication:6661237
DOI10.1007/S10849-024-09420-WMaRDI QIDQ6661237FDOQ6661237
John V. Tucker, J. A. Bergstra
Publication date: 13 January 2025
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
arithmeticundecidabilitydivision by zerolegal textscommon meadowsillegal textstraditional conventions for writing mathematics
Cites Work
- Title not available (Why is that?)
- A typed logic of partial functions reconstructed classically
- Fracpairs and fractions over a reduced commutative ring
- The rational numbers as an abstract data type
- A propositional logic with 4 values: true, false, divergent and meaningless
- Division by Zero in Common Meadows
- Equational theories and universal theories of fields
- Transformation of fractions into simple fractions in divisive meadows
- Title not available (Why is that?)
- Title not available (Why is that?)
- A first order logic for partial functions
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- Wheels on division by zero
- A system of logic for partial functions under existence-dependent kleene equality
- Title not available (Why is that?)
- Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
- An independent axiomatisation for free short-circuit logic
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
This page was built for publication: Logical models of mathematical texts: the case of conventions for division by zero.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6661237)
