1 citations · 1 across the 3 of their papers we have counts for
4 papers
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,…
Decidable Exponentials in Nonassociative Noncommutative Linear Logic
Eben Blaisdell
The use of exponentials in linear logic greatly enhances its expressive power. In this paper we focus on nonassociative noncommutative multiplicative linear logic, and systematical…
Partitioning the power set of into -free parts
Eben Blaisdell, András Gyárfás, Robert A. Krueger +1
We show that for , in any partition of , the set of all subsets of , into parts, some part must contain a triangl…