Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Avron, A.: Hypersequents, logical consequence and intermediate logic form concurrency. Ann. Math. Stat. Artif. Intell. 4, 225–248 (1991)
2. Buszkowski, W.: Completeness results for Lambek syntactic calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 32, 13–28 (1986)
3. Goguen, J.A., Meseguer, J.: Completeness of many-sorted equational logic. Houston J. Math. 11(3), 307–334 (1985)
4. Lalement, R.: Logique, réduction, résolution. études et recherches en informatique. Masson, Paris (1990)
5. Lambek, J.: The mathematics of sentence structure. Am. Math. Monthly 65, 154–170 (1958). Reprinted in Buszkowski, W., Marciszewski, W., Benthem, J. (eds.) Categorial Grammar, Linguistic & Literary. Studies in Eastern Europe, vol. 25. John Benjamins, Amsterdam, pp. 153–172 (1988)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Spurious Ambiguity and Focalization;Computational Linguistics;2018-06
2. On the Logic of Expansion in Natural Language;Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016);2016