E. Blaisdell

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

1 citations · 1 across the 2 of their papers we have counts for

collaborators

3 papers

cs.LO2023

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,…

cs.LO2023★ 1 cited

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,…

math.CO2018

Partitioning the power set of $[n]$ into $C_{k}$ -free parts

Eben Blaisdell, András Gyárfás, Robert A. Krueger +1

We show that for $n \geq 3, n \neq = 5$ , in any partition of $P (n)$ , the set of all subsets of $[n] = {1, 2, \dots, n}$ , into $2^{n - 2} - 1$ parts, some part must contain a triangl…

Explorations in Subexponential Non-associative Non-commutative Linear Logic

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

Partitioning the power set of [n] into Ck​-free parts

Partitioning the power set of $[n]$ into $C_{k}$ -free parts