1. Abrusci, V.M.: Phase semantics and sequent calculus for pure noncommutative classical linear logic. J. Symb. Log. 56, 1403–1451 (1991)
2. Abrusci, V.M.: Classical conservative extensions of Lambek calculus. Studia Logica 71, 277–314 (2002)
3. Ajdukiewicz, K.: W sprawie ‘uniwersaliów’ [On the problem of ‘universals’]. Przegl ąd Filozoficzny 37, 219–234 (1934)
4. Ajdukiewicz, K.: Die syntaktische Konnexität (Syntactic connexion). Studia Philosophica 1, 1–27 (1935)
5. Ajdukiewicz, K.: Zwi ązki składniowe miedzy członami zdań oznajmuj ących (Syntactic connections between constituents of declarative sentences). Studia Filozoficzne 6(21), 73–86 (1960)