Dr. F. T. Peirce

Dr. Houria Hadj F

Dr. A. F. Winnington-Ingram

Dr. T. Daureeawoo

Dr. T. Saxty Good

Max-planck-institut F Ur Informatik Peirce Algebras K I N F O R M a T I K Authors' Addresses

We present a two-sorted algebra, called a Peirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a relationforming operator on sets (the Peirce product of Boolean modules) and a set-forming operator on relations (...