From categorized neural architectures to subexponential proof theory

Carlos Ramírez Ovalle

We study a resource-sensitive fragment of the problem of extracting a logical discipline from a class of neural architectures by passing through categorization. The starting point…