一个具有聚类和排序功能的微积分系统
A cirquent calculus system with clustering and ranking
摘要：
循环演算是G.Japaridze为了满足其可计算逻辑理论的需要而提出的一种新的证明理论和语义方法。Japaridze的早期文章“From formulas to cirquents in computability logic”将cirquents的概念推广到了所谓的聚类和排序的版本，并表明，通过聚类和排序的cirquents，可以捕获，提炼和推广所谓的扩展IF逻辑。雅帕里泽的治疗扩展IF逻辑，但是，是纯粹的语义，并没有演绎系统提出。本文从句法上构造了一个具有聚类和排序功能的、可靠的、完备的w.r.t.基于情境的语义学的命题片段。这样一个系统不仅可以被认为是经典命题逻辑的保守扩展，而且当被限制为不超过2秩的cirquents时，也可以被认为是完全一般性的纯命题扩展IF逻辑的公理化。
英文摘要：
Cirquent calculus is a new proof-theoretic and semantic approach introduced by G.Japaridze for the needs of his theory of computability logic. The earlier article "From formulas to cirquents in computability logic" by Japaridze generalized the concept of cirquents to the version with what are termed clusterng and ranking, and showed that, through cirquents with clustering and ranking, one can capture, refine and generalize the so called extended IF logic. Japaridze's treatment of extended IF logic, however, was purely semantical, and no deductive system was proposed. The present paper syntactically constructs a cirquent calculus system with clustering and ranking, sound and complete w.r.t. the propositional fragment of cirquent-based semantics. Such a system can be considered not only a conservative extension of classical propositional logic but also, when limited to cirquents with no more than 2 ranks, an axiomatization of purely propositional extended IF logic in its full generality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
