3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Carlos G. Lopez Pombo, Marcelo F. Frias, Thomas S. E. Maibaum
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Ha…