Epsilon演算提供更短的无切割证明
Epsilon Calculus Provides Shorter Cut-Free Proofs
AI总结：
本文证明一阶语言中epsilon格式矢列演算的无切割推导相比通常矢列演算的无切割证明具有非初等加速优势。
摘要：
本文证明，在一阶语言中，采用epsilon格式的矢列演算的无切割推导，相较于通常矢列演算的无切割证明，能实现非初等加速。
英文摘要：
In this paper we show that cut-free derivations in the epsilon format of sequent calculus provide for a non-elementary speed-up w.r.t. cut-free proofs in usual sequent calculi in first-order language.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
