A short proof of representability of fork algebras. (English) Zbl 0838.03047
Summary: 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.
MSC:
03G15 | Cylindric and polyadic algebras; relation algebras |
68Q60 | Specification and verification (program logics, model checking, etc.) |