Abstract | ||
---|---|---|
Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1 |
Year | DOI | Venue |
---|---|---|
1997 | 10.1093/jigpal/5.3.1 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Relation algebras,fork algebras,representability | Fork (system call),Discrete mathematics,Algebra,Mathematics | Journal |
Volume | Issue | ISSN |
5 | 3 | 1367-0751 |
Citations | PageRank | References |
13 | 1.11 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcelo F. Frias | 1 | 295 | 35.57 |
Armando Martin Haeberer | 2 | 81 | 11.05 |
Paulo A. S. Veloso | 3 | 226 | 183.55 |