Araújo, João, Mário Edmundo, and Steven Givant. "{$v^\ast$}-algebras, independence algebras and logic." Internat. J. Algebra Comput.. 21 (2011): 1237-1257.