Search Results - "Kuznetsov, Stepan L."

Commutative action logic by Kuznetsov, Stepan L

“…Abstract We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, i.e. the equational theory of commutative…”
Get full text

Relational Models for the Lambek Calculus with Intersection and Constants by Kuznetsov, Stepan L.

“…We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant…”
Get full text

Infinitary action logic with exponentiation by Kuznetsov, Stepan L., Speranski, Stanislav O.

“…We introduce infinitary action logic with exponentiation—that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of…”
Get full text

Infinitary Action Logic with Multiplexing by Kuznetsov, Stepan L., Speranski, Stanislav O.

“…Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop…”
Get full text

Explorations in Subexponential Non-associative Non-commutative Linear Logic by Blaisdell, Eben, Kanovich, Max, Kuznetsov, Stepan L., Pimentel, Elaine, Scedrov, Andre

Get full text

Relational Models for the Lambek Calculus with Intersection and Constants by Kuznetsov, Stepan L

“…Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10120 We consider relational semantics (R-models) for the Lambek calculus…”
Get full text

Conjunctive categorial grammars and Lambek grammars with additives by Kuznetsov, Stepan L, Okhotin, Alexander

“…A new family of categorial grammars is proposed, defined by enriching basic categorial grammars with a conjunction operation. It is proved that the formalism…”
Get full text

Commutative Action Logic by Kuznetsov, Stepan L

“…We prove undecidability and pinpoint the place in the arithmetical hierarchy for commutative action logic, that is, the equational theory of commutative…”
Get full text

Reasoning from hypotheses in -continuous action lattices by Kuznetsov, Stepan L, Pshenitsyn, Tikhon, Speranski, Stanislav O

“…The class of all $\ast$-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in…”
Get full text

Explorations in Subexponential Non-associative Non-commutative Linear Logic by Blaisdell, Eben, Kanovich, Max, Kuznetsov, Stepan L, Pimentel, Elaine, Scedrov, Andre

“…EPTCS 381, 2023, pp. 4-19 In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials,…”
Get full text

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) by Blaisdell, Eben, Kanovich, Max I, Kuznetsov, Stepan L, Pimentel, Elaine, Scedrov, Andre

“…In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of…”
Get full text

Infinitary Action Logic with Exponentiation by Kuznetsov, Stepan L, Speranski, Stanislav O

“…We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of…”
Get full text