Abstract
In this note we will show that the axioms defining the operator fork in the class of fork algebras are independent, i.e., none of them can be derived from the others.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have