The Lambek calculus enriched with additional connectives

• 1 January 1992
• journal article
• Published by Springer Nature in Journal of Logic, Language and Information
• Vol. 1  (2) , 141-171
• https://doi.org/10.1007/bf00171695

Abstract

Keywords

• LAMBEK CALCULUS
• CATEGORIAL GRAMMAR
• RECOGNIZING POWER
• INTERSECTIVE CONJUNCTION
• CONTEXT-FREE LANGUAGES