Cyclic Involutive Distributive Full Lambek Calculus is Decidable

Sorry, there's nothing here.

Cite this paper

@article{Kozak2011CyclicID, title={Cyclic Involutive Distributive Full Lambek Calculus is Decidable}, author={Michal Kozak}, journal={J. Log. Comput.}, year={2011}, volume={21}, pages={231-252} }