Grading Adjoint Logic

2020/06/16 by Eades, Harley, Orchard, Dominic
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.2006.08854

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.

Related

• Ordered Adjoint Logic
• Adjoint Natural Deduction (Extended Version)
• Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
• Linear logic with idempotent exponential modalities: a note
• Proof systems: from nestings to sequents and back