Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;D. Béchet,2007
2. Buszkowski, W.: Some decision problems in the theory of syntactic categories. Zeitschrift f. Math. Logik u. Grundlagen der Mathematik 28, 539–548 (1982)
3. Buszkowski, W.: Mathematical linguistics and proof theory. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch. 12, pp. 683–736. North-Holland Elsevier, Amsterdam (1997)
4. Buszkowski, W.: Type Logics in Grammar. Trends in logic. Studia Logica Library, vol. 21, pp. 321–366. Springer (2003)
5. Buszkowski, W.: Lambek calculus with nonlogical axioms. In: Language and Grammar, Studies in Mathematical Linguistics and Natural Language, pp. 77–93. CSLI Publications (2005)