Author:
Kanovich Max,Kuznetsov Stepan,Scedrov Andre
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abrusci, V.M.: A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zeitschr. für math. Logik und Grundl. der Math. (Math. Logic Q.) 36, 11–15 (1990)
2. Buszkowski, W.: Some decision problems in the theory of syntactic categories. Zeitschr. für math. Logik und Grundl. der Math. (Math. Logic Q.) 28, 539–548 (1982)
3. Buszkowski, W.: Lambek calculus with nonlogical axioms. In: Language and Grammar. CSLI Lecture Notes, vol. 168, pp. 77–93 (2005)
4. Carpenter, B.: Type-Logical Semantics. MIT Press, Cambridge (1998)
5. Girard, J.-Y.: Linear logic. Theoret. Comput. Sci. 50(1), 1–102 (1987)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献