Journal Article
Cintula Petr, Horčík Rostislav, Noguera Carles
: Review of Symbolic Logic vol.6, 3 (2013), p. 394-423
: GBP202/12/G061, GA ČR, I143-G15, ESF/Austrian Science Foundation project
: nonassociative full Lambek calculus, deduction theorem, standard completeness
: 10.1017/S1755020313000099
: BA