Wojciech Zielonka. Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes. Math. Log. Q., 27(13-14):215-224, 1981. [doi]
@article{Zielonka81, title = {Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes}, author = {Wojciech Zielonka}, year = {1981}, doi = {10.1002/malq.19810271306}, url = {http://dx.doi.org/10.1002/malq.19810271306}, researchr = {https://researchr.org/publication/Zielonka81}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {27}, number = {13-14}, pages = {215-224}, }