Complexity of the Infinitary Lambek Calculus With Kleene Star

Introduction

A \leq C / B = A \cdot B \leq C = B \leq A \ C

\begin{array}{l} A_{1}, \dots, A_{n} \to B & as & A_{1} \cdot \dots \cdot A_{n} \leq B \\ \to A & as & 𝟏 \leq A \end{array}

\frac{\to A B \to C}{A \ B \to C} (\ →).

\frac{A \to B}{\to A \ B} (→ \).

\frac{\to A B \to C}{A / B \to C} (/ →).

\frac{A \to B}{\to A / B} (→ /).

\frac{\to A \to B}{\to A \cdot B} (→ ⋅).

\frac{\to A}{𝟏 \to A} (𝟏 →).