依赖关系原子的简洁性
摘要：命题团队逻辑是一阶团队逻辑的命题类比。除了依赖以外，依赖、独立、包含、排除和匿名等非经典原子可以在其中表示，但除了依赖外，其他原子只有指数级的转换方法。本文系统地比较了在存在性片段中（其中拆分析取只发生在积极的情况下）和具有无限制否定的完全命题团队逻辑中它们的简洁性。通过将Ehrenfeucht-Fraiß之一种名为“公式大小游戏”的变种引入到团队逻辑中，我们得到了存在性片段中所有原子的指数下界。在完整片段中，我们还为所有原子提供了多项式上界。
作者：Martin L"uck and Miikka Vilander
论文ID：1903.02344
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22