27 citations · 60 across the 11 of their papers we have counts for
17 papers
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…
Explorations in Subexponential Non-associative Non-commutative Linear Logic
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)
Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov +2
In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here,…
Relational Models for the Lambek Calculus with Intersection and Constants
Stepan L. Kuznetsov
We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a res…
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…
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent…