This project seeks to separate the structural rules of linear logic, weakening, contraction, and exchancge into several different modalities, and the relates them.
MonoidalAttackTrees/separating-linear-modalities
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|