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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.