Grading Adjoint Logic

06/16/2020
by   Harley Eades III, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset