1. V.M. Abrusci, Phase Semantics and Sequent Calculus for Pure Noncom-mutative Classical Linear Logic, Journal of Symbolic Logic 56 (1991), 1403–1451.
2. V.M. Abrusci, Classical Conservative Extensions of Lambek Calculus, Studia Logica 71. 3 (2002), 277–314.
3. K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1 (1935), 1–27.
4. H. Andréka and S. Mikulâs, Lambek Calculus and Its Relational Semantics. Completeness and Incompleteness, Journal of Logic, Language and Information 3 (1994), 1–37.
5. Y. Bar-Hillel, C. Gaifman and E. Shamir, On categorial and phrase structure grammars, Bull. Res Council Israel F 9 (1960), 155–166.