HIGHLIGHTS
- who: Transmathematica and colleagues from the Informatics Institute, University of, The Netherlands have published the paper: Totalising Partial Algebras: Teams and Splinters, in the Journal: (JOURNAL)
- what: The authors show how an additive semigroup can have a partial subtraction operation that can be made total by enriching the semigroup with ⊥. The authors focus on the natural numbers and semigroups and introduce teams.
SUMMARY
The process involves adding a new element ⊥ to the algebra, and re-defining each operation f of the algebra on its arguments x such that (a) if x . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.