|
Algebras of Semigroup Formulae
by
Alexei Vernitski
Middlesex University, London, UK
We introduce and describe algebras of semigroup formulae. They can be considered as an alternative to boolean algebras of formal logic. This is important because when we attempt to involve computers in handling mathematics, we need different ways of formalizing mathematical reasoning.
Date received: December 18, 2000
Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafo-30.