论证明论中基于归约的方法与基于模型的方法的趋同
On the convergence of reduction-based and model-based methods in proof theory
AI总结：
本文聚焦证明论领域，阐述了用于证明切消定理的基于归约与基于模型的两类方法趋同的现状，并详述了该转变的若干步骤。
摘要：
近年来，用于证明切消定理的基于归约的方法与基于模型的方法已趋同，如今二者仿若同一硬币的两面。本文详述了这一转变过程中的若干步骤。
英文摘要：
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper details some of the steps of this transformation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
