Abstract: We prove the decidability of the extension CyInDFL of DFL (Distributive Full Lambek Calculus), in which the involutive law is derivable under the assumption of cyclicity. So far, the ...