Algebras of general non-deterministic predicates Academic Article