Philippe de Groote François Lamarche Classical Non-Associative Lambek Calculus. 355-388 2002 71 Studia Logica 3 db/journals/sLogica/sLogica71.html#GrooteL02