A short proof of representability of fork algebras
In this paper a strong relationship is demonstrated between fork algebras and quasi-projective relation algebras. With the help of Tarski's classical representation theorem for quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. As a by-pr...
Saved in:
| Published in | Theoretical computer science Vol. 188; no. 1; pp. 211 - 220 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
30.11.1997
|
| Online Access | Get full text |
Cover
Loading…
| Summary: | In this paper a strong relationship is demonstrated between fork algebras and quasi-projective relation algebras. With the help of Tarski's classical representation theorem for quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. As a by-product, we will discuss the difference between relative and absolute representation theorems. |
|---|---|
| Bibliography: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 0304-3975 1879-2294 |
| DOI: | 10.1016/S0304-3975(96)00299-X |