逻辑学家的相干性
Coherence for logicians
AI总结：
面向不熟悉范畴论的逻辑学家，给出对称幺半闭范畴相干性的新证明，以纯逻辑术语表述，与证明论一般性猜想相关，有望拉近与证明论学界距离。
摘要：
本文面向不熟悉范畴论的逻辑学家。它给出了对称幺半闭范畴相干性的新证明，该相干性在20世纪70年代初由凯利和麦克莱恩证明。我们发现这一结果对证明论非常重要，它以不含范畴概念的纯逻辑术语表述。相干性与一般证明论中的一般性猜想相关，希望我们的表述能使其更接近证明论学界。
英文摘要：
This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in the early 1970s. We find this result of great importance for proof theory and it is formulated here in pure logical terminology free of categorial notions. Coherence is related to the generality conjecture in general proof theory and we hope that our formulation will make it closer to the proof-theoretical community.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
