|
Organizers |
Interval relation algebras
by
Tomasz Kowalski
Japan Advanced Institute of Science and Technology (JAIST)
A standard construction produces a Boolean algebra out of any linear order. If this linear order has also some mild algebraic structure, a rather straightforward extension of the construction produces a relation algebra out of it. In fact, this gives us a way of turning linear residuated lattices satisfying certain additional conditions into relation algebras. Bjarni Jonsson's example of an infinite minimal relation algebra (the only one known so far) arises as a particular case. I will explore this connection a little further.
Date received: December 31, 2002
Copyright © 2002 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 # cakg-19.