Grading Adjoint Logic
Logic in Computer Science
2020-06-17 v1 Programming Languages
Abstract
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules are used. We give a sequent calculus, natural deduction, and term assignment for Graded Adjoint Logic.
Cite
@article{arxiv.2006.08854,
title = {Grading Adjoint Logic},
author = {Harley Eades and Dominic Orchard},
journal= {arXiv preprint arXiv:2006.08854},
year = {2020}
}
Comments
Extended abstract of a talk presented at LINEARITY/TLLA 2020