Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Y. Bar-Hillel, Ch. Gaifman, and E. Shamir. On categorial and phrase structure grammars. Bulletin Res. Council Israel, F(9):155–166, 1960.
2. F. Belardinelli, P. Jipsen, and H. Ono. Algebraic aspects of cut elimination. Studia Logica, 77(2):209–240.
3. W. Buszkowski. Completeness results for Lambek syntactic calculus. Zeitschrift f. mathematische Logik und Grundlagen der Mathematik, 32(1):13–28, 1986.
4. W. Buszkowski. Mathematical linguistics and proof theory. In van Benthem and ter Meulen [33], pages 683–736.
5. W. Buszkowski. Finite models of some substructural logics. Mathematical Logic Quarterly, 48(1):63–72, 2002.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献