...
机译:具有子折叠和括号模态的乘法添加Lambek微积分
University College London Gowers St. London UK National Research University Higher School of Economics 11 Pokrovsky Blvd. Moscow Russia;
Steklov Mathematical Institute of the Russian Academy of Sciences 8 Gubkina St. Moscow Russia National Research University Higher School of Economics 11 Pokrovsky Blvd. Moscow Russia;
University of Pennsylvania 209 South 33rd St. Philadelphia PA USA National Research University Higher School of Economics (until July 2020) 11 Pokrovsky Blvd. Moscow Russia;
Lambek calculus; Categorial grammars; Subexponential modalities; Bracket modalities; Undecidability; cut elimination;