Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
From MaRDI portal
Publication:3919680
DOI10.1002/malq.19810271306zbMath0467.03020MaRDI QIDQ3919680
Publication date: 1981
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810271306
Related Items
Categorial Grammars and Their Logics, Grammar specification in categorial logics and theorem proving, A polynomial algorithm for the membership problem with categorial grammars, A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi, Using tableaux to automate the Lambek and other categorial calculi, Linear axiomatics of commutative product-free Lambek calculus, Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms