27 citations · 60 across the 11 of their papers we have counts for
9 papers · 1 filter
Undecidability of theories of semirings with fixed points
Anupam Das, Abhishek De, Stepan L. Kuznetsov
In this work we prove the undecidability (and -completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic…
Commutative Action Logic
Stepan L. Kuznetsov
We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative residuated Kleene lattices…
Language Models for Some Extensions of the Lambek Calculus
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For…
Complexity of the Infinitary Lambek Calculus with Kleene Star
Stepan Kuznetsov
We consider the Lambek calculus, or non-commutative multiplicative intuitionistic linear logic, extended with iteration, or Kleene star, axiomatised by means of an -rule, and pr…
Subexponentials in non-commutative linear logic
Max Kanovich, Stepan Kuznetsov, Vivek Nigam +1
Linear logical frameworks with subexponentials have been used for the specification of among other systems, proof systems, concurrent programming languages and linear authorization…
The Lambek calculus with iteration: two variants
Stepan Kuznetsov
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration.…