论文标题
分级伴随逻辑
Grading Adjoint Logic
论文作者
论文摘要
我们介绍了一种新的逻辑，将伴随逻辑与分级必要方式结合在一起。这导致了一个非常表达的系统，能够控制何时以及如何使用结构规则。我们为分级伴随逻辑提供了顺序的演算，自然扣除和术语分配。
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.
