子结构不动点定理与对角线论证：主题与变奏
Substructural fixed-point theorems and the diagonal argument: theme and variations
AI总结：
本文重新审视 Lawvere 的不动点定理范畴论证明，将其所需公理进一步弱化为缺乏弱化与交换规则的子结构逻辑语义类比，从而推广了对角线论证的适用范围。
摘要：
本文重新审视了 Lawvere 关于不动点定理的抽象范畴论证明，其逆否命题是一个“普适”的对角线论证。主要结果是，不动点定理和对角线论证所需的公理可以进一步剥离，归结为一种缺乏弱化或交换规则的弱子结构逻辑的语义类比。
英文摘要：
This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the diagonal argument can be stripped back further, to a semantic analogue of a weak substructural logic lacking weakening or exchange.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
