This is a preview. Log in through your library . Abstract Fraenkel-Mostowski set theory represents an alternative set theory with multiple applications in mathematics and computer science. It deals ...
A fork algebra is a relational algebra enriched with a new binary operation, called fork. Such algebras have been introduced because their equational calculus has applications in program construction.