Derivability of admissible rules with simple premises in the Lambek calculus
A. N. Safiullin · Moscow University Mathematics Bulletin · 2007
A method for proving the fact that any admissible in the basic Lambek calculus L rule with a premise consisting of a finite number of simple (i.e., not containing connectives) sequents is derivable is described in the paper.