Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras

Analogous to atom structures for relation algebras, we define partially ordered frames and prove they are duals for complete perfect distributive quasi relation algebras and distributive involutive FLalgebras. We then extend this dual representation to all algebras and their corresponding frames with a Priestley topology. For relation algebras up to size 16 it has been determined which algebras are representable by binary relations. We compute all finite distributive quasi relation algebras up to 8 elements and provide representations for some of them.