The Lambek calculus enriched with additional connectives

From MaRDI portal
Publication:1314290

DOI10.1007/BF00171695zbMath0793.03028MaRDI QIDQ1314290

Makoto Kanazawa

Publication date: 21 August 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)




Related Items (26)






This page was built for publication: The Lambek calculus enriched with additional connectives