Commutative Action Logic

Stepan L. Kuznetsov

We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative residuated Kleene lattices…