https://zbmath.org/atom/cc/03B60 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.03009 2024-04-15T15:10:58.286558Z “弗朗切斯，尼西姆” https://zbmath.org/authors/？q=ai:francez.nissim 出版商描述：这本书是有史以来第一本关于连接逻辑这一非经典逻辑家族主题的专著，它基于一种直觉，即一个命题不能有效地暗示，也不能通过其自身的否定被暗示。与关联逻辑相似，连接逻辑要求有效蕴涵的前因和后因之间存在意义联系。否定和条件句以及其他连接词之间的相互作用更接近于它们在自然语言中的某些用法。这本书并不是对连接逻辑的全面研究；相反，它提出了作者对这些逻辑的看法，并强调了作者感兴趣的那些逻辑的各个方面。尽管如此，它仍然包含了足够的材料，使读者熟悉这些逻辑，理解它们是如何产生的，是如何被激发的，以及它们背后的证明理论和模型理论原则。希望这本书将有助于连接逻辑的普及，并有助于对其感兴趣的当前较小社区的发展。Nissim Francez是以色列理工学院Technion计算机科学名誉教授。在他职业生涯的某个阶段，他从并发和分布式编程以及程序验证的研究转向了计算语言学的研究，主要是自然语言的形式语义。近年来，他致力于证明理论语义学，尤其是自然语言。最近，他还研究了非经典逻辑，包括连接逻辑。 https://zbmath.org/1530.03031 2024-04-15T15:10:58.286558Z “Konkova，Antonina” https://zbmath.org/authors/？q=ai:konkova.antonina-维克托罗夫纳 “Legeydo，玛丽亚” https://zbmath.org/authors/？q=ai:legeydo.maria-米 摘要：本文讨论了一种不同于经典（外延）三段论的替代解释：内涵解释，其中主语和谓语不与一组个体（概念的外延）关联，而是与一组属性（概念的内容）关联。本文作者提请注意，这种方法是莱布尼茨在逻辑演算著作中首次提出的，长期以来，逻辑演算一直处于莱布尼兹其他哲学著作的阴影之下。目前，由于非经典逻辑的发展，内涵方法越来越流行，本文将介绍几种现有的内涵形式三段论语义。 https://zbmath.org/1530.03111 2024-04-15T15:10:58.286558Z “纪尧姆拍卖行” https://zbmath.org/authors/？q=ai:aucher.guillaume 摘要：基于克里普克风格的关系语义学，受邓恩的gaggle理论的启发，介绍了一类称为gaggle逻辑的非经典逻辑。这些逻辑处理任意arity的连接词，我们证明它们捕获了广泛的非经典逻辑。特别地，我们列出了基本gaggle逻辑的96个二元连接词和16个一元连接词，并将它们的真值条件与文献中的非经典逻辑联系起来。我们在gaggle理论和群论之间建立了联系。我们证明了邓恩的抽象剩余定律对应于对称群在gaggle逻辑连接词集上的换位作用，并且邓恩的连接词族是同一作用的轨道。对连接词的其他操作，如对偶否定和布尔否定，也根据群的作用重新表述，它们的组合是通过自由群和自由积来定义的。我们展示了组的概念是如何从我们的gaggle逻辑中自然产生的，以及如何从给定的组中规范地定义gaggle逻辑学。我们的另一个主要贡献涉及gaggle逻辑的证明理论。我们展示了如何从任何带有或不带有布尔连接词的基本gaggle逻辑系统地计算健全和完整的计算。这些计算是显示计算，我们证明了切割规则可以从证明中系统地消除。这使我们能够证明基本的gaggle逻辑是可判定的。整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03112 2024-04-15T15:10:58.286558Z “迪德里克·巴滕斯” https://zbmath.org/authors/？q=ai:batens.diderik 摘要：许多逻辑都是健全和完整的，涉及到为逻辑分配不同模型集的多种语义系统。如果所有这些语义系统都同样“好”，就会产生一系列问题，如第1节所示。\在本文中，我提出了一种方法，为每个逻辑（mathbf{L}）（从一个巨大的类中，包括所有常见的演绎逻辑）定义一个唯一的“适当”语义，我认为认为这种语义正确地描述了根据（mathbf{L}\）可能出现的“情况”是有道理的。这解决了上一段提到的问题。关于推理的讨论的意义是显而易见的。\par对于某些逻辑（mathbf{L}），适当的语义与Henkin语义一致，Henkin是通过将Henkin方法应用于真语句（Gamma\nvdash_LA\）而获得的模型集，给出了公式集的枚举（L\）。对于其他逻辑（mathbf{L}），正确的语义比Henkin语义计算更多的模型（而且，并不是所有的Henkin模型都是最大的（mathbf{L}\）-非平凡的）。我将证明，对Henkin方法进行一定的更改就足以将所有适当的模型转换为Henkin模型。 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.03114 2024-04-15T15:10:58.286558Z “方，布伦丹” https://zbmath.org/authors/？q=ai:fong.brendan 阿尔贝托·斯佩兰松 https://zbmath.org/authors/？q=ai:speranzon.alberto “斯皮瓦克，大卫一世。” https://zbmath.org/authors/？q=ai:spivak.david-我 摘要：我们对一种新的逻辑进行了初步介绍，该逻辑用于推理随时间发生的行为。该逻辑基于时间类型理论。该逻辑的语法类似于通常的一阶逻辑；不同的是\textit{true-value}的概念。我们的逻辑推理是关于\textit{时间景观}，而不是关于公式是真是假的推理。一个时间景观可以被认为是代表一个陈述正确的持续时间集。为了帮助理解此方法的实际含义，我们给出了各种各样的示例，其中使用此逻辑来推理自治代理。整个系列见[Zbl 1522.68034]。 https://zbmath.org/1530.03115 2024-04-15T15:10:58.286558Z “贾帕里泽，乔治” https://zbmath.org/authors/？q=ai:japaridze.giorgi 整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03116 2024-04-15T15:10:58.286558Z “Jarmużek，T.” https://zbmath.org/authors/？q=ai:jarmuzek.tomasz “拉杰夫·戈尔” https://zbmath.org/authors/？q=ai:gore.rajeev-普拉巴卡尔 摘要：我们提出了一种通过表元理论生成三段论逻辑表系统的通用方法，该表元理论为不同的表三段论系统提供了通用和形式概念，这些系统因语义或公式而异。此外，借助这些一般概念，可以确定一些事实，这些事实与它们在特定三段论逻辑中的应用无关。例如，表元定理简化了为给定逻辑构建完整表系统的过程，将其简化为检查假定系统中表规则的特定属性。这种方法对于更深入、更普遍地处理各种语言和语义的tableau方法至关重要。整个系列见[Zbl 1505.03005]。 https://zbmath.org/1530.03117 2024-04-15T15:10:58.286558Z “孔廷宁，朱哈” https://zbmath.org/authors/？q=ai:kontine.juha “杨，范” https://zbmath.org/authors/？q=ai:yang.fan.28 摘要：在本文中，我们引入了一种基于团队语义的逻辑，称为FOT，它的表达能力在句子和（开放）公式级别上与一阶逻辑一致，并且我们还表明，FOT的子逻辑，称之为\（\mathrm{FOT}^\ downarrow\），准确地捕获了向下封闭的一阶团队属性。我们完全公理化了逻辑FOT，并将依赖逻辑的已知部分公理化推广到含有逻辑常数的依赖逻辑。整个系列见[Zbl 1418.03008]。 https://zbmath.org/1530.03118 2024-04-15T15:10:58.286558Z “瓦卡列洛夫，迪米特” https://zbmath.org/authors/？q=ai:vakarelov.dimiter 摘要：本文是在基于区域的时空理论（RBTST）领域展开的。这是基于区域的空间理论（RBTS）的扩展，其中我们还包含了时间。RBTS是一种基于\textit{region}概念的无点空间理论。RBTS的另一个名称是\textit{mereotopology}，因为它结合了mereology和拓扑学的概念和方法[\textit}P.Simons}，Parts:a study in ontology。牛津：克拉伦登出版社（1987）]。这一理论的起源可以追溯到怀特海、德拉古纳和塔斯基的一些思想，他们在不使用点概念的情况下建立了空间理论。有关RBTS、mereotopology及其应用的更多信息，请参阅[作者，Int.Math.Ser.，N.Y.5，267--348（2007；Zbl 1329.68246）；\textit{B.Bennett}和\textit}I.Düntsch}，“公理、代数和拓扑”，见：M.Aiello（ed.）等人，《空间逻辑手册》，Springer.99--160（2007；\url{doi:10.1007/978-4020-5587-4_3}）; \textit｛T.Hahmann｝和\textit｛M.Grüninger｝，“基于区域的空间理论：mereopology及其超越”，载于：S.Hazarika（编辑），定性时空表示和推理：趋势和未来方向。IGI出版。1--62 (2012); \textit{I.Pratt-Hartmann}，“基于区域的一阶空间理论”，收录于：M.Aiello（编辑）等人，《空间逻辑手册》。斯普林格。13--97 (2007)]. 联系代数的概念[\textit{接触代数}[\textit{G.Dimov}和作者Fundam.Inform.74，No.2-3，209--249（2006；Zbl 1111.68122）；Fundam.Inform.74、No.2-3-251--282（2006；Zbl 1111.6 8123）]给出了RBTS的代数形式，事实上给出了各类拓扑空间的正则闭集的布尔代数的公理化，以及\textit{contact}的附加关系。\textit{动态接触代数}（DCA）是作者在[Fundam.Inform.100，No.1--4159-180（2010；Zbl 1225.03027）；in:Advances in modal Logistic.Vol.9中介绍的。第九届会议记录（AiML 2012），丹麦哥本哈根，2012年8月22日至25日。伦敦：学院出版物。538--558（2012；Zbl 1291.03044）；《代数逻辑》55，第3期，181--197（2016；Zbl 1396.03073）；翻译自Algebra Logika 55，No.3，273--299（2016）]，可被视为RBTST的代数公式。它是研究区域随时间变化的接触代数的推广，并对怀特海的空间和时间综合无点理论的思想进行了形式化解释。DCA是一个特殊的空间动态模型的抽象，也称为快照模型或电影模型。在本文中，我们介绍了DCA的简化版本，目的是用作DCA的一个代表性示例，并为该示例开发了快照模型、拓扑模型和预期拓扑对偶理论，在一定意义上推广了布尔代数的著名Stone对偶性。由于这些模型，DCA也可以称为\textit{动态mereotopology}。DCA的抽象拓扑模型为空间和时间的性质提供了一种新的观点，并显示了如果我们从它们的度量属性中抽象出来会发生什么。整个系列见[Zbl 1505.03005]。