循环微积分简介
Cirquent calculus in a nutshell
摘要：
本文是一个简短的和非正式的介绍cirquent演算，一个新的证明系统的资源意识逻辑。因此，它是一种改进的微积分与机制，允许显式地考虑不同的表达式/资源之间共享子表达式/子资源的可能性。这是通过处理循环风格的结构来实现的，称为循环，而不是公式，序列或其他树状结构。该方法具有更大的表现力，灵活性和效率相比，更传统的证明理论的方法。
英文摘要：
This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility of sharing of subexpressions/subresources between different expressions/resources. This is achieved by dealing with circuit-style constructs, termed cirquents, instead of formulas, sequents or other tree-like structures. The approach exhibits greater expressiveness, flexibility and efficiency compared to the more traditional proof-theoretic approaches.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
