The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.
Download Results (CSV)