Subexponentials in Nonassociative Lambek Calculus

Loading...
Thumbnail Image
Degree type
Doctor of Philosophy (PhD)
Graduate group
Mathematics
Discipline
Mathematics
Subject
Mathematical Logic
Substructural Logic
Theoretical Computer Science
Funder
Grant number
License
Copyright date
01/01/2024
Distributor
Related resources
Author
Blaisdell, Eben
Contributor
Abstract

We focus on a family on noncommutative nonassociative substructural logics enriched with subexponentials, unary modalities licensing local application of structural rules. Primarily, we prove upper and lower bounds on complexity of provability in a broad class of these logics. To uniformly frame these results, we present two sets of rules, one intuitionistic and one classical, with the intention of capturing a broad subset of existing logics as fragments. We also prove equivalences of these systems in natural settings.

Advisor
Scedrov, Andre
Date of degree
2024
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Recommended citation