Logical models of mathematical texts: the case of conventions for division by zero.

DOI10.1007/S10849-024-09420-WMaRDI QIDQ6661237FDOQ6661237

Authors: J. A. Bergstra, John V. Tucker 

Publication date: 13 January 2025

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

arithmeticundecidabilitydivision by zerolegal textscommon meadowsillegal textstraditional conventions for writing mathematics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

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)