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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback