Logical models of mathematical texts: the case of conventions for division by zero.
From MaRDI portal
Publication:6661237
Cites work
- scientific article; zbMATH DE number 3566907 (Why is no real title available?)
- scientific article; zbMATH DE number 3595145 (Why is no real title available?)
- scientific article; zbMATH DE number 545277 (Why is no real title available?)
- scientific article; zbMATH DE number 7696416 (Why is no real title available?)
- A first order logic for partial functions
- A propositional logic with 4 values: true, false, divergent and meaningless
- A system of logic for partial functions under existence-dependent kleene equality
- A typed logic of partial functions reconstructed classically
- Adams Conditioning and Likelihood Ratio Transfer Mediated Inference
- An independent axiomatisation for free short-circuit logic
- Division by zero in common meadows
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- Equational theories and universal theories of fields
- Fracpairs and fractions over a reduced commutative ring
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- The rational numbers as an abstract data type
- Transformation of fractions into simple fractions in divisive meadows
- Wheels on division by zero
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)
