论文标题
基于Quillen模型结构在逻辑等效性下的区域框架的含义
Implications of a Quillen Model Structures-Based Framework for Locality under Logical Equivalence
论文作者
论文摘要
在[15]中，提出了逻辑局部的同型变化，即在逻辑等效性下的基于Quillen模型类别的框架，对于量词级$ k $的每个原始阳性句子。在本文中，我们将介绍上述框架引起的一些含义和可能的主题。
In [15] a homotopic variation for locality of logics was presented, namely a Quillen model category-based framework for locality under logical equivalence, for every primitive-positive sentence of quantifier-rank $k$. In this paper, we will present some of the implications and possible themes for investigations that arise from the aforementioned framework.
