1 paper · 2 filters
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.…