Eben Blaisdell

According to our database, Eben Blaisdell authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2023

Explorations in Subexponential Non-associative Non-commutative Linear Logic.

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

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

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

CoRR, 2023

Decidable Exponentials in Nonassociative Noncommutative Linear Logic.

Eben Blaisdell

CoRR, 2023

2022

Non-associative, Non-commutative Multi-modal Linear Logic.

Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2019

Partitioning the Power Set of [n] into C_k-free parts.

Eben Blaisdell, András Gyárfás, Robert A. Krueger, Ronen Wdowinski

Electron. J. Comb., 2019