1 paper · 2 filters
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…