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]

No reviews for this publication, yet.