The Lambek calculus enriched with additional connectives

Makoto Kanazawa. The Lambek calculus enriched with additional connectives. Journal of Logic, Language and Information, 1(2):141-171, 1992. [doi]

Abstract

Abstract is missing.