Editing Noncommutative logic (section)

===The Lambek calculus===
{{main|categorial grammar}}

[[Joachim Lambek]] proposed the first non-commutative logic in his 1958 paper ''Mathematics of Sentence Structure'' to model the combinatory possibilities of the [[syntax]] of [[natural languages]].<ref>{{Cite journal| doi = 10.2307/2310058| issn = 0002-9890| volume = 65| issue = 3| pages = 154–170| last = Lambek| first = Joachim| title = The Mathematics of Sentence Structure| journal = [[The American Mathematical Monthly]]| date = 1958| jstor = 2310058|citeseerx=10.1.1.538.885}}</ref>  In his subsequent 1961 paper ''On the calculus of syntactic types'', he extended the analysis to cover non-associativity as well. His calculus has since become one of the fundamental formalisms of [[computational linguistics]].