https://zbmath.org/atom/cc/06D20 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.03113 2024-04-15T15:10:58.286558Z “Nick Bezhanishvili” https://zbmath.org/authors/？q=ai:bezhanishvili.nick “Gianluca Grilletti” https://zbmath.org/authors/？q=ai:griatti.gianluca “霍利迪，卫斯理·H。” https://zbmath.org/authors/？q=ai:holliday.wesley-小时 摘要：我们为查询逻辑引入了新的代数和拓扑语义。代数语义基于特殊的Heyting代数，我们称之为查询代数，其命题赋值范围仅为代数的（not）-不动点。我们展示了好奇代数是如何从布尔代数产生的：对于给定的布尔代数\（B\），我们定义了它的好奇扩展\（H（B）\），并证明\（H（B）\）是唯一的好奇代数，它的\（B\）是\（\lnot\lnot\）-不动点的代数。我们还表明，好奇代数决定了梅德韦杰夫有限问题的逻辑。除了（H（B））的代数特征之外，我们还根据最近引入的布尔代数的无选择对偶性，利用所谓的上Vietoris空间（UV-spaces）[\textit{N.Bezhanishvili}和\textit}W.H.Holliday}，J.Symb.Log.85，No.1，109-148（2020；Zbl 1444.03172）]，给出了（H（B）的拓扑特征特别地，当布尔代数（B）实现为对偶于（B）的UV空间的紧正则开元的布尔代数时，我们证明了（H（B））实现为该空间的紧开元的代数。这种连接为查询逻辑产生了一种新的拓扑语义。整个系列见[Zbl 1418.03008]。 https://zbmath.org/1530.03162 2024-04-15T15:10:58.286558Z “霍利迪，卫斯理·H。” https://zbmath.org/authors/？q=ai:holliday.wesley-h.2|holliday.wesley-h 摘要：在经典逻辑及其扩展的传统语义中，如模态逻辑，命题被解释为集合的子集，如在离散对偶中，或被解释为Stone空间的clopen集合，如在拓扑对偶中。这样一个集合中的一个点可以被视为一个“可能世界”，世界的关键属性是\textit{priminess}——只有当世界使析取为真时，它才能使析取成为真对于每个命题，一个世界要么使命题为真，要么使其否定为真。本章介绍了一种更通用的逻辑语义方法，称为\textit{可能性语义}，它用可能\textit}部分}“可能性”替换可能世界。在经典的可能性语义学中，命题被解释为偏序集的正则开集，如集合理论的强迫，或者被解释为上维多利斯空间的紧正则开集，如最近的“无选择斯通对偶”理论。这些集合的元素，被视为可能性，在使析取为真的意义上，可能是部分的，而不确定哪个析取是真的。我们解释了如何在经典逻辑和模态逻辑的语义中使用可能性，并将其推广到直觉主义逻辑的语义。其目的是克服或深化传统语义的不完备性结果，避免传统语义的非结构性，并为新语言的解释提供更丰富的结构。整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03166 2024-04-15T15:10:58.286558Z “梁，飞” https://zbmath.org/authors/？q=ai:liang.fei “蒂亚戈·纳西门托” https://zbmath.org/authors/？q=ai:nascimento.thiago 摘要：准内尔森逻辑是尼尔森逻辑的推广，即否定不一定是对合的。本文给出了拟Nelson逻辑的Hilbert式表示QN，并证明了QN相对于Blok-Pigozzi算法得到的代数对应物，即Q-代数类，是正则的BP-代数。最后，我们证明了Q-代数类与拟Nelson代数类一致。关于整个集合，请参见[Zbl 1418.03008]。 https://zbmath.org/1530.06006 2024-04-15T15:10:58.286558Z “西尔维奥·吉拉尔迪” https://zbmath.org/authors/？q=ai:ghilardi.silvio “圣多卡纳莱，路易吉” https://zbmath.org/authors/？q=ai:santocanale.luigi 摘要：Ruitenburg定理指出，如果（f）除一个外修复了所有生成器，则有限生成的自由Heyting代数的每个自同态最终都是周期的。更准确地说，存在这样的（N\geq0）：（f^{N+2}=f^N），因此周期等于2。我们利用对偶技术和有界互模拟秩给出了这个定理的语义证明。通过同样的技术，我们研究了自由代数的任意自同态。我们证明，一般来说，它们最终不是周期性的。然而，当它们是（例如，在局部有限子簇的情况下）时，周期可以作为生成器集的基数的函数显式地有界。