On Action Logic: Equational Theories of Action Algebras
Wojciech Buszkowski · Journal of Logic and Computation · 2006
Journal Article On Action Logic: Equational Theories of Action Algebras Get access Wojciech Buszkowski Wojciech Buszkowski Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznań, Poland. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 17, Issue 1, February 2007, Pages 199–217, https://doi.org/10.1093/logcom/exl036 Published: 30 October 2006 Article history Received: 12 December 2005 Published: 30 October 2006