Bracket Induction for Lambek Calculus with Bracket Modalities.

Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov

Browse the full FG paper archive.