The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities

Max I. Kanovich, Stepan Kuznetsov, Andre Scedrov. The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. Journal of Logic, Language and Information, 30(1):31-88, 2021. [doi]

Abstract

Abstract is missing.