Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes

Wojciech Zielonka. Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes. Math. Log. Q., 27(13-14):215-224, 1981. [doi]

Abstract

Abstract is missing.