research
∙
07/31/2020
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
We give a proof-theoretic and algorithmic complexity analysis for system...
share
research
∙
07/31/2020
Language Models for Some Extensions of the Lambek Calculus
We investigate language interpretations of two extensions of the Lambek ...
research
∙
05/01/2020
Complexity of the Infinitary Lambek Calculus with Kleene Star
We consider the Lambek calculus, or non-commutative multiplicative intui...
research
∙
12/24/2019
Action Logic is Undecidable
Action logic is the algebraic logic (inequational theory) of residuated ...
research
∙
11/17/2017
Eliminating the unit constant in the Lambek calculus with brackets
We present a translation of the Lambek calculus with brackets and the un...
research
∙
05/01/2017
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Lambek calculus is a logical foundation of categorial grammar, a linguis...
research
∙
08/13/2016
Undecidability of the Lambek calculus with subexponential and bracket modalities
The Lambek calculus is a well-known logical formalism for modelling natu...
research
∙
08/07/2016
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
The Lambek calculus can be considered as a version of non-commutative in...
research
∙
01/23/2016