A Short Proof of Representability of Fork Algebras
Viktor Gyuris · Logic Journal of IGPL · 1995
In this paper a strong relation is demonstrated between fork algebras and quasi-projective relation algebras. With the help of the representation theorem of quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras.