Author:
Kanovich Max,Kuznetsov Stepan,Scedrov Andre
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abrusci, V.M.: A comparison between Lambek syntactic calculus and intuitionistic linear logic. Zeitschr. math. Logik Grundl. Math. (Math. Logic Q.) 36, 11–15 (1990)
2. Andréka, H., Mikulás, Sz.: Lambek calculus and its relational semantics: completeness and incompleteness. J. Log. Lang. Inform. 3(1), 1–37 (1994)
3. Buszkowski, W.: Compatibility of a categorial grammar with an associated category system. Zeitschr. math. Log. Grundl. Math. 28, 229–238 (1982)
4. Lecture Notes in Computer Science;W Buszkowski,2006
5. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices. An algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献