1 paper · 1 filter
Stepan Kuznetsov
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration.…