模态模态理论中的否定与同一性
Negation and Identity in a Modal Mode Theory
AI总结：
本文在纤维化框架中融合亚结构与模态性构建否定，将其作为类型论对象探讨，提出一种内在化双重否定消去规则限制的直觉主义模态逻辑模态理论。
摘要：
本文将亚结构性与模态性编织进一种否定中，该否定在纤维化框架中激活了等价与同一性的不利面。本文将否定与矛盾作为类型论/范畴对象进行探讨，旨在对作为基础的内涵范式进行内在批判。尽管这并非本文的终点，但我仍试图勾勒与之交织的认识论与内在世俗的问题。本文的终点是一个直觉主义模态逻辑的模态理论，该理论将双重否定消去规则的限制内在化。
英文摘要：
This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial objects, towards an immanent critique of the subtending univalent paradigm. Although this is not the terminus of the piece, i wish to try and delineate the epistemic and intra-mundane problematics intertwined therewith. The piece's terminus is a mode theory of an intuitionistic modal logic that internalises a restriction on the Double Negation Elimination rule.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
