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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.