Stepan L. Kuznetsov | DeepAI

AI Chat

Featured Co-authors

Elaine Pimentel
13 publications
Max Kanovich
11 publications
Andre Scedrov
10 publications
Eben Blaisdell
3 publications
Max I. Kanovich
1 publication
Stanislav O. Speranski
1 publication

∙ 08/08/2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic

In a previous work we introduced a non-associative non-commutative logic...

0 Eben Blaisdell, et al. ∙

∙ 07/06/2023

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)

In a previous work we introduced a non-associative non-commutative logic...

0 Eben Blaisdell, et al. ∙

∙ 10/02/2022

Relational Models for the Lambek Calculus with Intersection and Constants

We consider relational semantics (R-models) for the Lambek calculus exte...

0 Stepan L. Kuznetsov, et al. ∙

∙ 01/19/2020

Infinitary Action Logic with Exponentiation

We introduce infinitary action logic with exponentiation—that is, the mu...

0 Stepan L. Kuznetsov, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world