Relation algebras: Concept of points and
β
G. Schmidt; T. StrΓΆhlein
π
Article
π
1985
π
Elsevier Science
π
English
β 621 KB
In the axiomatization of relation algebras by Chin and Tarski certain elements are called fight ideals. Aiming at applications in the relational theory of graphs and programs, we call such ideals 'points' and investigate an additional point axiom. First we prove a point insertion theorem. Then a rep