
The MultiplicativeAdditive Lambek Calculus with Subexponential and Bracket Modalities
We give a prooftheoretic and algorithmic complexity analysis for system...
read it

Language Models for Some Extensions of the Lambek Calculus
We investigate language interpretations of two extensions of the Lambek ...
read it

Complexity of the Infinitary Lambek Calculus with Kleene Star
We consider the Lambek calculus, or noncommutative multiplicative intui...
read it

Action Logic is Undecidable
Action logic is the algebraic logic (inequational theory) of residuated ...
read it

Eliminating the unit constant in the Lambek calculus with brackets
We present a translation of the Lambek calculus with brackets and the un...
read it

A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Lambek calculus is a logical foundation of categorial grammar, a linguis...
read it

Undecidability of the Lambek calculus with subexponential and bracket modalities
The Lambek calculus is a wellknown logical formalism for modelling natu...
read it

Reconciling Lambek's restriction, cutelimination, and substitution in the presence of exponential modalities
The Lambek calculus can be considered as a version of noncommutative in...
read it

Undecidability of the Lambek calculus with a relevant modality
Morrill and Valentin in the paper "Computational coverage of TLG: Nonlin...
read it
Stepan Kuznetsov
is this you? claim profile