Grading Adjoint Logic [article]

Harley Eades III, Dominic Orchard
2020 arXiv   pre-print
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.
arXiv:2006.08854v1 fatcat:i5qsfbkd7fgmlmobbbhiaxicci