Inversive meadows and divisive meadows
From MaRDI portal
Publication:420833
DOI10.1016/j.jal.2011.03.001zbMath1251.68144arXiv0907.0540MaRDI QIDQ420833
C. A. Middelburg, Jan A. Bergstra
Publication date: 23 May 2012
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0907.0540
divisive meadow; arithmetical meadow; imperative meadow; inversive meadow; partial meadow; relevant division convention
68Q65: Abstract data types; algebraic specification
Related Items
Division by Zero in Common Meadows, Fracpairs and fractions over a reduced commutative ring, Transformation of fractions into simple fractions in divisive meadows, A process calculus with finitary comprehended terms, Inversive meadows and divisive meadows, Instruction sequence processing operators, Division by zero in non-involutive meadows, Partial arithmetical data types of rational numbers and their equational specification, Arithmetical datatypes with true fractions, The wheel of rational numbers as an abstract data type
Cites Work
- Inversive meadows and divisive meadows
- Straight-line instruction sequence completeness for total calculation on cancellation meadows
- Instruction sequence processing operators
- A logic covering undefinedness in program proofs
- A first order logic for partial functions
- Meadows and the equational specification of division
- Algebraic specifications of computable and semicomputable data types
- Equational theories and universal theories of fields
- Right-divisive groups
- Partial logics reconsidered: A conservative approach
- Program algebra for sequential code
- Completeness in arithmetical algebras
- Module algebra
- The rational numbers as an abstract data type
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- A propositional logic with 4 values: true, false, divergent and meaningless
- The initial meadows
- Inversive semigroups, I
- On notation for ordinal numbers
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item