Subtraction algebras and -algebras
In this note we show that a subtraction algebra is equivalent to an implicative -algebra, and a subtraction semigroup is a special case of a -semigroup.
In this note we show that a subtraction algebra is equivalent to an implicative -algebra, and a subtraction semigroup is a special case of a -semigroup.
Page 1