基于非良基证明的弱模态Grzegorczyk逻辑的割消除
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs
摘要：
我们提出了一个弱Grzegorczyk逻辑Go允许非良基证明和切消定理，它通过构造一个连续的切消映射作用于这些证明。
英文摘要：
We present a sequent calculus for the weak Grzegorczyk logic Go allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
