/separating-linear-modalities

Separating the structural rules into several different modalities, and then relating them

Primary LanguageTeX

Separating Linear Modalities

This project seeks to separate the structural rules of linear logic, weakening, contraction, and exchancge into several different modalities, and the relates them.