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 FL-algebras. 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.