On Action Logic: Equational Theories of Action Algebras.

Wojciech Buszkowski On Action Logic: Equational Theories of Action Algebras. 199-217 2007 17 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exl036 db/journals/logcom/logcom17.html#Buszkowski07