We discuss the logic of pregroups, introduced by Lambek [34], and its connections with other type logics and formal grammars. The paper contains some new ideas and results: the cut-elimination theorem ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback