Axiomatizing first order consequences in dependence logic
在[8]中引入的依赖逻辑不能被公理化。然而，依赖逻辑句子的一阶结果是可以公理化的，这就是本文要做的。我们给出了一个明确的公理化，并证明了相应的完备性定理。
2012-08-01 cs.LO math.LO
The Expressive Power of Modal Dependence Logic
我们研究了各种模态逻辑与团队语义的表达能力。我们表明，正是向下封闭和封闭下的团队k-互模拟的团队的属性，对于一些有限的k，是可定义的模态逻辑扩展与直觉析取。此外，我们还证明了直觉析取模态逻辑和扩展模态依赖逻辑的表达能力是一致的。最后，我们建立任何翻译从扩展模态依赖逻辑到模态逻辑与直觉析取增加一些公式的大小呈指数级。
2014-06-24 cs.LO math.LO
On Dependence Logic
我们给出了一个概述的依赖和独立逻辑的一些发展。这是一个小的选择，为新人，从一个快速增长的文学主题。进一步讨论了条件独立原子，证明了条件独立逻辑与非条件独立逻辑是等价的。最后，我们简要地讨论了我们的逻辑信念表示的应用。
2013-05-25 cs.LO math.LO
On Three-Valued Dependence-Like Logics
University of Lodz（罗兹大学）
本文探讨依赖逻辑与三值逻辑的关联，提出两种结合经典联结词与传染性联结词的三值依赖类逻辑，并给出相应的可靠完备无切割二叉相继式演算。
2026-10-07 cs.LO math.LO
Dependence logic with a majority quantifier
本文研究了有限结构上依赖逻辑D的择多量词M的扩张。我们表明，由此产生的逻辑是equi-expressive与二阶逻辑的扩展，由二阶多数量词的所有种族。我们的结果意味着，从描述复杂性理论的角度来看，D（M）捕获的复杂性类计数层次。
2013-03-08 cs.LO math.LO
Validity and Entailment in Modal and Propositional Dependence Logics
本文全面分类了模态与命题依赖逻辑中有效性与蕴涵的复杂性，证明模态依赖逻辑的有效性问题是NEXPTIME完全的，反驳了先前更高的复杂性猜想。
2019-04-25 cs.LO math.LO
Dependence Logic with Generalized Quantifiers: Axiomatizations
我们证明了两个完备性结果，一个是关于依赖逻辑由具有弱解释的单调广义量词Q扩展的结果，弱的意思是Q的解释随结构而变化。第二个结果考虑了依赖逻辑的扩展，其中Q被解释为“存在不可数的许多”。“这两个公理化都被证明是健全的，完整的FO（Q）的后果。
2013-04-02 cs.LO math.LO
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
我们研究隐藏变量模型从量子力学，和他们的抽象在纯粹的概率和关系的框架，通过依赖和独立的逻辑，基于团队语义。我们发现，隐藏变量模型的共同理想的属性可以定义在一个优雅和简洁的方式在依赖和独立逻辑。不同性质之间的关系，以及它们的同时可实现性，因此可以在纯逻辑层面上被公式化和证明，作为逻辑公式的蕴涵和可满足性问题。在依赖和独立逻辑中，概率和关系蕴涵之间的联系使我们能够简化证明。在许多情况下，我们可以通过一个证明建立概率和关系隐变量模型的结果，因为一种情况意味着另一种情况，这取决于纯粹的语法标准。我们还讨论了贝尔和Kochen-Specker的不去定理，并提供了后者的一个纯粹的逻辑变体，引入非上下文选择作为一个团队语义属性。
2022-01-27 cs.LO math.LO
Logics of Dependence and Independence: The Local Variants
现代的依赖和独立逻辑是基于团队语义的，这意味着公式的计算不是基于变量的单个赋值，而是基于一组这样的赋值，称为团队。这导致了存在二阶逻辑水平上的高表达能力。作为替代，Baltag和van Benthem提出了依赖逻辑的局部变体，称为函数依赖逻辑（logic of functional dependence，LFD）。虽然它的语义也是基于团队的，但公式只在其中一个分配上进行本地评估，并且团队只是作为评估过程中考虑的可能分配的供应。因此，这种逻辑依赖于广义赋值语义的模态视角，并且可以被看作是一阶逻辑的一个片段。对于不含等式的LFD变体，可满足性问题是可判定的。我们扩展了本地化逻辑的依赖和独立的想法，在一个系统的方式，考虑到本地变量的标准原子依赖属性：除了依赖和独立，还包括，排除和匿名。我们研究模型理论和算法问题的本地化逻辑，并解决了一些问题，已离开开放的巴尔塔格和范Benthem。特别地，我们研究了局部逻辑的可判定性问题，证明了等式可满足的LFD是不可判定的。此外，我们通过适当的互模拟的概念建立特征定理，并研究这些逻辑的模型检验问题的复杂性。
2021-02-20 cs.LO math.LO
A New Ehrenfeucht-Fraïssé Game for Dependence Logic
University College London（伦敦大学学院）；University of Helsinki（赫尔辛基大学）
针对依赖逻辑，提出一种基于单元素移动的新Ehrenfeucht-Fraïssé游戏，并证明其刻画了依赖逻辑中的初等等价性。
2026-05-30 cs.LO math.LO
Dependence Logics in Temporal Settings
本文通过扩展静态函数依赖的模态逻辑，研究动力系统中的时间依赖，提出并公理化了具有时间化变量、函数符号和下一时刻模态词的完备可判定逻辑，并展望其与更丰富时态逻辑及动态拓扑逻辑的结合。
2024-03-28 cs.LO math.LO
Questions and dependency in intuitionistic logic
近年来，疑问句逻辑和依赖逻辑在探究逻辑和依赖逻辑两个密切相关的框架中得到了研究。这些研究假设经典逻辑作为陈述的背景逻辑，并在这个经典核心中加入了表达问题和依赖关系的公式。在本文中，我们通过在直觉主义逻辑的背景下研究问题和依赖关系来拓宽这些研究的范围。我们提出了一个直观的团队语义，团队嵌入在直观的Kripke模型。伴随逻辑是直觉主义逻辑的一个保守的扩展，带有问题和依赖公式。我们建立了一些关于这个逻辑的结果，包括一个范式的结果，一个完整性的结果，并翻译到经典的查询逻辑和模态依赖逻辑。
2017-04-06 cs.LO math.LO
Characterizing Quantifier Extensions of Dependence Logic
利用存在二阶逻辑的量词扩张刻画了单调广义量词对依赖逻辑和独立逻辑的扩张的表达能力。
2012-02-23 math.LO
Uniform Definability in Propositional Dependence Logic
命题依赖逻辑和探究逻辑都是表达完备的。因此，任何具有直觉析取或直觉蕴涵的公式都可以等价地翻译成命题依赖逻辑语言中的公式，而不需要这两个连接词。我们表明，虽然这样的（非成分）翻译存在，既不是直觉析取也不是直觉蕴涵是一致定义的命题依赖逻辑。
2016-11-16 math.LO
Negation and partial axiomatizations of dependence and independence logic revisited
本文通过扩展Kontinen和Vaananen 2013和Hannula 2015中给出的逻辑的自然演绎系统，公理化了依赖和独立逻辑中的可证明的结果。我们证明了独立逻辑中的可验证公式和依赖逻辑中的可验证语句的一个特征定理，并确定了一类有趣的独立逻辑中的可验证公式。相依和独立原子，一阶公式属于这一类。我们还展示了我们的扩展系统的独立性逻辑阿姆斯特朗的公理和盖革-帕斯-珍珠公理的依赖和独立原子给出明确的推导。
2018-12-18 math.LO
Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
模态依赖逻辑是基于团队语义定义的模态逻辑，具有向下封闭性。在本文中，我们介绍了健全的和完整的演绎系统的主要模态依赖逻辑，特别是那些在其语言中的直觉连接词。我们还建立了一个具体的团队语义和单世界语义之间的联系，并表明，模态依赖逻辑可以解释为直觉模态逻辑的变种。
2017-06-03 math.LO
Structural completeness in propositional logics of dependence
本文证明了三种主要的命题依赖逻辑（包括命题依赖逻辑和查询逻辑），它们都不是结构的，但它们关于一类替换是结构完备的，在这类替换下逻辑是闭的。我们得到了类似的结果稳定的替代，一些著名的中间逻辑，这是密切相关的中间理论，是密切相关的探究逻辑的负变体。
2015-09-11 math.LO
Generalized quantifiers in Dependence Logic
我们引入广义量词，定义在塔斯基语义的Mostowski和Lindström，在逻辑的语义是基于团队，而不是分配，例如，如果逻辑和依赖逻辑。单调和非单调的情况下被认为是。本文认为，要想满意地处理广义量词的量词范围依赖，依赖逻辑中的依赖原子并不合适，而多值依赖原子是一个更好的选择。这个原子实际上可定义地等价于最近由Väänänen和Grädel引入的\emph{independence atom}。
2012-04-03 math.LO
Dependence and Independence
我们引入一个原子公式直观地说，给定的变量是独立于给定的其他变量，如果第三组变量保持不变。我们将其与依赖逻辑进行对比。我们表明，我们的独立原子产生了一个自然的逻辑能够形式化的基本直觉的独立性和依赖性。
2012-08-27 cs.LO math.LO
On Intermediate Inquisitive and Dependence Logics: An Algebraic Study
本文对中间查询逻辑和依赖逻辑进行了代数研究。虽然这些逻辑通常是使用团队语义研究，在这里，我们引入了另一种代数语义，我们证明它是完整的所有中间的好奇和依赖逻辑。为此，我们定义好奇和依赖代数，我们调查他们的模型理论的性质。我们表明，它们是基本的结构公理化霍恩句子，我们用我们的完整性结果来说明一个版本的algebraisability的好奇和依赖逻辑。然后，我们专注于有限的，核心生成的，良好连接的好奇和依赖代数：我们证明他们见证的有效性，真正的好奇代数公式，以及真正的公式连接依赖代数。最后，我们得到了有限代数、核生成代数、良连通代数、查询代数和依赖代数的表示定理，并证明了一些连接群和代数语义的结果。
2022-02-10 math.LO
Local Dependence and Guarding
我们研究了Baltag和van Bentham（2021）提出的函数依赖的基逻辑LFD及其与一阶逻辑的保护片段GF的关系。与其他依赖逻辑一样，LFD的语义使用团队：允许的变量赋值集。LFD的与众不同之处在于它能够表达变量之间的局部依赖关系和语句对变量的局部依赖关系。LFD的已知特征包括可判定性、显式公理化、有限模型属性和互模拟特性。其他问题，包括可满足性的复杂性问题，迄今为止仍然没有定论。更一般地说，一直缺乏的是一个很好的理解是什么使LFD方法依赖计算良好的行为，以及它如何与其他可判定逻辑。特别是，允许变量依赖和保护量词作为逻辑设备如何比较？我们提供了一个新的合成翻译从GF到LFD，相反，我们翻译LFD到GF中的“几乎合成”的方式。使用这两个平移，我们以统一的方式将关于GF的已知结果转移到LFD，例如，LFD可满足性以及Craig插值的严格复杂性界限。相反，例如，LFD的有限模型性质转移到GF。因此，局部依赖和局部保护是一个错综复杂的概念。
2022-06-13 cs.LO math.LO
Deciding dependence in logic and algebra
我们介绍了一个普遍的代数推广德容的概念依赖公式的直觉命题逻辑，有关它的概念依赖定义的Marczewski的代数结构的元素。根据德容和Chagrova的思想，我们展示了如何建设性的证明（弱形式）一致插值可以用来决定依赖品种的阿贝尔l-群，MV-代数，半群，模态代数。我们还考虑最小的可证明性结果的依赖，特别是获得一个完整的描述和可判定性的依赖的各种格。
2021-06-18 math.LO
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
我们介绍了一个变体的依赖逻辑中的真理定义不存在的获胜策略的支持者（Eloise）在语义游戏中，但在缺乏获胜策略的对手（Abelard）。我们证明了这种语言是一阶逻辑的保守但次协调的扩展，它的有效性问题可以归结为一阶逻辑的有效性问题，它能够表达自己的真值和有效性谓词，并且它在表达上等价于通用二阶逻辑。此外，我们证明了一个次协调的非依赖逻辑公式是一致的当且仅当它是等价于一些一阶逻辑句子;另一方面，我们表明，所有的次协调依赖逻辑句子等价于一些一阶句子就真（但不一定就假）。
2014-03-14 cs.LO math.LO
Finite Model Property and Bisimulation for LFD
最近，Baltag和van Benthem arXiv：2103.14946 [cs.LO]引入了一种新的具有局部依赖公式和依赖量词的函数依赖（LFD）可判定逻辑。该语言在依赖模型上进行解释，依赖模型是具有一组可用变量分配的一阶结构对，也称为团队。与依赖模型相关的团队可以被看作是一个标记的转换系统，在这个系统上LFD成为模态逻辑，其中依赖量词成为模态，局部依赖公式被视为特殊原子。在本文中，我们引入适当的互模拟的概念，将LFD（和一些相关的逻辑）表征为一阶逻辑（FOL）的一个片段，并表明它等价于arXiv：2102.10368 [cs.LO]中提出的更标准的互模拟概念，但对于互相似性检查更有效。我们的主要结果是LFD具有有限模型性质（FMP），通过Herwig定理的一个新的应用扩展部分同构。
2021-07-13 cs.LO math.LO
From IF to BI: a tale of dependence and separation
我们需要一个新的眼光在逻辑的信息依赖和独立的Hintikka和Sandu和Vaananen，和他们的组成语义由于霍奇斯。我们如何霍奇斯的语义可以被看作是一个特殊的情况下，一般建设，这提供了一个背景下，一个有用的完整性定理，就更广泛的一类模型。我们对逻辑的每个方面都有一些新的认识。我们表明，自然命题逻辑所携带的语义是捆绑的蕴涵由于Pym和O 'Hearn，它结合了直觉和乘法连接词的逻辑。这引入了几个新的连接词以前没有考虑在逻辑的信息依赖，但我们显示发挥了非常自然的作用，最显着的直觉含义。至于量词，我们表明，他们在霍奇斯语义的解释是被迫的，因为他们是下的图像通常的塔斯基语义的一般建设，这意味着他们是伴随着替代，因此唯一确定。至于依赖谓词，我们表明，这是从一个更简单的谓词，恒常性或依赖于没有定义。这就离不开直觉蕴涵的运用。然后将函数相关的Armstrong公理恢复为直觉蕴涵公理的标准集。我们还证明了Hodges风格的完全抽象结果，其中直觉蕴涵起着非常自然的作用。
2011-02-07 cs.LO math.LO
Knowability as continuity: a topological account of informational dependence
本文用拓扑学中的连续函数依赖刻画经验问题间的可知信息依赖，证明认知独立性与非连续函数依赖相容，并给出结合一般、连续与一致连续依赖语言的完全逻辑。
2024-01-13 cs.LO math.LO
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
University of Helsinki（赫尔辛基大学）；University of Padua（帕多瓦大学）
本文证明探究团队逻辑中开放公式的表达能力严格超越一阶逻辑，并扩展至探究一阶逻辑，解决了一个开放问题。
2026-07-01 cs.LO math.LO
Logic for approximate entailment in ordered universes of discourse
近似蕴涵逻辑（LAE）是经典命题演算的分级对应，其中只能得出近似正确的结论。这是通过为潜在的可能世界集合配备相似关系来实现的。然而，当在应用中使用这种逻辑时，必须接受一个缺点;即，在LAE中，不可能以合取的方式组合结论。为了克服这一缺点，我们提出了在本文中的修改LAE，在语义层面上，底层的一组世界，而且赋予了秩序结构。所选择的框架是针对可能的应用而设计的。
2018-08-30 math.LO
There are (other) ways to negate in propositional team semantics
本文研究命题团队语义中的否定机制，证明完全直觉主义否定不增加向下封闭逻辑的公理化复杂度，并证明同时含依赖原子与包含原子的命题逻辑具有表达完备性。
2024-10-10 cs.LO math.LO
Axiomatizing first-order consequences in inclusion logic
包含逻辑是依赖逻辑的一种变体，它被证明具有与正最大不动点逻辑相同的表达能力。包含逻辑不是完全可公理化的，但它的一阶结果可以公理化。在本文中，我们提供了这样一个明确的部分公理化，通过引入一个系统的自然演绎包含逻辑是健全的和完整的一阶后果的包含逻辑。
2020-01-21 cs.LO math.LO
Logic of Approximate Entailment in quasimetric spaces
本文讨论的逻辑LAE是基于一种近似蕴涵关系的。LAE概括了经典的命题逻辑，其结果是结论可以用量化的不精确性得出。为此，属性由距离空间的子集建模，并且陈述的形式是一个属性在一定的公差范围内暗示另一个属性。我们采用E. Ruspini;我们的工作是对适当的逻辑演算的调查作出贡献。LAE基于距离函数是准度量的假设。我们提供了一个证明演算LAE，我们证明了它的合理性和完备性有限的理论。作为我们的主要工具，显示的完整性，我们使用的加权有向图的证明表示。
2018-08-30 math.LO
Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
针对 Baaz 和 Metcalfe 的 GŁ∀ 近似完备性仅适用于前束公式的局限，本文将原证明推广至超矢列，证明其对任意一阶 Łukasiewicz 公式均近似完备。
2024-12-06 math.LO
Decidability of predicate logics with team semantics
我们研究了基于团队语义的谓词逻辑的复杂性。证明了二元独立逻辑和二元包含逻辑的可满足性问题都是NEXPTIME-完全的。此外，我们表明，两个变量的依赖逻辑的有效性问题是不可判定的，从而解决了一个开放的问题，从团队语义文献。我们还简要地分析了依赖逻辑的Bernays-Schönfinkel-Ramsey前缀类的复杂性。
2016-06-18 cs.CC cs.LO math.LO
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
本文共分三个部分。首先，我们利用积分逻辑的不变测度研究和刻画了顺从和极端顺从拓扑半群。本文证明了拓扑半群的一些性质的可定义性，如顺从性和不动点的不动点。其次，我们定义类型和发展的整体逻辑框架中的局部稳定性。对于稳定的公式$ϕ$，我们证明了模型上的所有完备$ϕ$ -型的可定义性，并由此导出稳定性的基本定理.第三，我们研究了测度论中的一个重要性质，Talagrand稳定性。指出了Talagrand稳定性与依赖性（NIP）之间的联系，并证明了NIP公式类型可定义性的测度论形式。
2016-02-02 math.LO
Dependence Logic in Pregeometries and $ω$-Stable Theories
University of Helsinki（赫尔辛基大学）；University of Amsterdam（阿姆斯特丹大学）
我们提出了一个框架，在一般情况下，包括数据库理论，代数和模型论的特殊情况下，研究独立的概念。我们表明，著名的公理和规则的独立性，使推论有关基本原子独立性声明是完整的各种语义。我们的研究结果表明，独立性概念在数据库理论、代数和模型论等不同领域的应用可以完全由相同的公理来表征。我们还考虑与独立性相关的概念，例如依赖性。
2016-03-09 math.LO
Approximate Categoricity in Continuous Logic
我们探讨近似范畴的失真系统的背景下，在我们以前的论文中介绍，这是一个温和的推广扰动系统，介绍了本雅科夫。我们延长本雅科夫的Ryll-Nardzewski风格的表征可分离的近似范畴理论的扰动系统的失真系统的情况下。我们也取得了进展，莫雷定理不可分割的近似范畴的模拟，表明，如果有一些不可数基数$κ$，使每个模型的大小$κ$是“近似饱和”，在适当的意义上，那么同样是真实的所有不可数基数。最后，我们提出了这些现象的一些例子，并强调了普通的可分范畴性和不可分的近似范畴性之间的明显的相互作用。
2020-11-01 math.LO
Complete logics for elementary team properties
在本文中，我们介绍了一种基于团队语义的逻辑，称为FOT，其表达能力是基本的，即，符合一阶逻辑的水平上的句子和（可能是开放的）公式，我们还表明，一个子逻辑的FOT，称为FOT ${}^\downarrow$，捕捉完全向下封闭的基本（或一阶）团队属性。我们完全公理化的逻辑FOT，也扩展了依赖逻辑的部分公理化的依赖逻辑丰富的逻辑常数FOT ${}^\downarrow$。
2022-08-15 math.LO
Alternating (In)Dependence-Friendly Logic
针对 IF 逻辑的参与者不对称、非确定及排中律失效问题，本文提出 ADIF，并给出组合、Herbrand-Skolem 与博弈论语义，证明其确定性、排中律及二阶逻辑表达力。
2023-04-23 cs.LO math.LO
Team Semantics and Recursive Enumerability
众所周知，依赖逻辑捕获复杂性类NP，最近已经表明，包含逻辑捕获有序模型上的P。这些结果表明，团队语义描述复杂性理论提供了有趣的新的可能性。为了正确理解团队语义和描述复杂性之间的联系，我们引入了依赖逻辑的扩展D*，它可以精确定义有限模型的所有递归可重复类。因此，D* 提供了一种替代图灵机的计算方法。D* 的基本新功能是一个运营商，可以扩展域所考虑的模型由有限数量的新鲜元素。由于广义量词与神谕之间的密切关系，我们也研究了广义量词在团队语义中的应用。我们证明了通过引入相应的广义依赖原子，可以从一阶逻辑的量词扩张中规范地消除（1）型单调量词。
2014-08-18 cs.LO math.LO
An approximate logic for measures
我们提出了一个逻辑框架，形式化有限组合学和测度论或遍历论，已经出现在整个文献的各个地方之间的连接。我们开发了这种逻辑的基本语法和语义，并给出了应用，表明该方法可以表示经典的Furstenberg对应，并给出了Szemerédi正则引理的一个简短证明。我们还得到了一些连接模型理论的稳定性概念和Gowers一致性规范从组合。
2012-11-04 math.CO math.LO
Generalized quantifiers using team semantics
本文修改依赖逻辑的基本语义准则，构建了一个能同时处理单调与非单调广义量词的框架，证明其具有与存在性二阶逻辑相同的表达力并保持保守性。
2024-04-26 math.LO
Bicompleteness Theorems for Team Logics with the Dual Negation
University of Padua（帕多瓦大学）
研究独立友好逻辑和依赖逻辑中双重否定的语义不确定性，通过调整不相容概念，为多种模态和命题团队逻辑建立了类似结果，并提出了关于不相容性的表达完备性概念。
2026-06-23 cs.LO math.LO
Approximate equivalence relations
本文在可定义测度下研究近似等价关系，基于连续逻辑提出概率逻辑框架，利用Kim-Pillay空间完全分类二元相关性，推广范畴性定理与近似子群的李模型定理，并证明NIP理论中可定义测度自同构群的阿基米德有限维性。
2024-07-29 math.LO
Characterising Modal Definability of Team-Based Logics via the Universal Modality
我们研究了各种模态逻辑的模型和框架可定义性。设ML（A+）表示用普适模态扩展的模态逻辑的片段，其中普适模态只肯定地出现。我们证明了一类Kripke模型在ML（A+）中是可定义的当且仅当该类是初等的，并且在不相交的工会和满射互模拟下是封闭的。我们还讨论了ML（A+）的可定义性的精神，著名的Goldblatt-Maxason定理。我们证明了Kripke框架的一个初等类F在ML（A+）中是可定义的当且仅当F在取生成子帧和有界形态图像下是闭的，并且反映了超滤子扩展和超滤子帧生成.此外，我们还研究了相对于有限传递框架的框架可定义性，并给出了相对于有限传递框架的ML（A+）-可定义性的一个类似刻画。最后，我们在团队逻辑中开始了模型和框架可定义性的研究。我们研究（扩展）模态依赖逻辑，（扩展）模态包含逻辑和模态团队逻辑。我们建立严格的线性层次模型的可定义性和框架的可定义性，分别。我们表明，关于模型和框架的可定义性，前面提到的团队为基础的逻辑，除了模态依赖逻辑，要么符合ML（A+）或平原模态逻辑ML。因此，作为一个推论，我们得到的模型和框架可定义的团队为基础的逻辑的模型论特征。
2018-02-21 cs.LO math.LO
Diversity, Dependence and Independence
我们在一个非常一般的框架中引入依赖性和独立性的概念。我们使用秩的概念来研究依赖性和独立性。通过排名，我们确定（总）的依赖性，无法创造更多的多样性，和（总）的独立性与最大的多样性。我们表明，我们的理论的依赖性和独立性涵盖了各种依赖的概念，例如，看似无关的概念，线性依赖代数和逻辑中的变量的依赖。
2021-09-24 cs.LO math.LO
Approximation and Dependence via Multiteam Semantics
我们定义了一个变种的团队语义称为多组语义的基础上多集和研究在这个框架中的各种逻辑的属性。特别是，我们定义自然概率版本的包含和独立原子和某些近似算子的近似依赖原子的Väänänen。
2015-12-21 cs.LO math.LO
An approximate Herbrand's theorem and definable functions in metric structures
我们开发了一个版本的赫布兰德定理连续逻辑和使用它来证明，可定义的功能在无限维希尔伯特空间分段逼近仿射函数。对于由一般酉算子展开的Hilbert空间和由一般子空间展开的希尔伯特空间中的可定义函数，我们得到了类似的结果.我们还展示了如何Herbrand的定理可以用来描述一些绝对无处不在的结构，从经典逻辑中的可定义的功能。
2011-07-19 math.LO
Quantum Team Logic and Bell's Inequalities
University of Helsinki（赫尔辛基大学）；Institute for Logic, Language and Computation, University of Amsterdam（阿姆斯特丹大学逻辑、语言与计算研究所）
Abramsky和Hardy [2]对量子力学中的Bell不等式提出了一种逻辑方法。本文指出[2]的逻辑Bell不等式在Fagin，Halpern和Megiddo [4]的概率逻辑中是可证的。由于现在认为量子力学违反贝尔不等式的经验成立，我们引入一个修改的概率逻辑，我们称之为量子团队逻辑，其中贝尔不等式是不可证明的，并证明了这个逻辑的完备性定理。为此，我们将依赖逻辑的团队语义[7]首先推广到概率团队语义，然后我们称之为量子团队语义。
2016-03-09 math.LO
Algebraizable Weak Logics
University of Strathclyde（斯特拉斯克莱德大学）；University of Torino（都灵大学）；Istituto Nazionale di Alta Matematica “Francesco Severi”（弗朗切斯科·塞韦里高等数学国家研究所）
本文提出了一种扩展的抽象代数逻辑框架，用于研究弱逻辑的代数化，并展示了经典疑问逻辑和依赖逻辑的严格代数化特性。
2026-01-07 math.LO
Propositional Team Logics
我们考虑命题逻辑的团队语义，继续我们以前的工作（Yang & Väänänen 2016）。在团队语义学中，命题公式的真值被认为是一组估值，称为团队，而不是个人估值。这就有可能赋予依赖、独立和包容等概念以意义。我们定义了一个表达极大的命题组逻辑，称为全命题组逻辑。这需要超越经典命题逻辑的逻辑运算。我们展示了一个层次的逻辑之间的最小的，即经典命题逻辑，并充分命题队逻辑。我们用几种方式来描述这些不同的逻辑：首先是语法上的逻辑运算，然后是语义上的它们能够定义的团队集合。在一些重要的情况下，我们能够找到这些逻辑的完整公理化。
2016-12-15 math.LO
Two strong undefinability results in inquisitive and team semantics
本文针对基于探究语义和团队语义的逻辑，证明了直觉主义蕴涵在带张量的扩展命题探究逻辑中，以及全局析取在扩展命题依赖逻辑中均具有不可定义性。
2024-07-30 math.LO
