https://zbmath.org/atom/cc/03F03 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.03101 2024-04-15T15:10:58.286558Z “卡洛斯，卡莱罗” https://zbmath.org/authors/？q=ai:caleiro.carlos “塞尔吉奥·马塞利诺” https://zbmath.org/authors/？q=ai:marcelino.sergio 摘要：分析计算是逻辑的一个有价值的工具，因为它可以实现有效的证明和可判定结果。我们研究了由一元部分非确定性矩阵（PN矩阵）确定的广义结果关系的公理化。我们证明，使用可以有多个结论的推理规则，总是可以获得简单的公理化。此外，我们还证明了这些公理化总是解析的，这似乎与PNmatrix语义的序列计算的最新非解析性结果形成了对比。整个系列见[Zbl 1418.03008]。 https://zbmath.org/1530.03153 2024-04-15T15:10:58.286558Z “巴兹，马提亚斯” https://zbmath.org/authors/？q=ai:baaz.matthias “Lolic，Anela” https://zbmath.org/authors/？q=ai:lolic.anela 摘要：本文主要研究由（Q）定义的量词宏（Q）的全局健全但可能局部不健全的分析序列演算_{x，y}A（x，y）=\对于所有x\存在y A（x，y）\）。结果表明，不存在局部合理的解析表示。整个系列见[Zbl 1418.03008]。 https://zbmath.org/1530.03154 2024-04-15T15:10:58.286558Z “普尔西尼，加布里埃尔” https://zbmath.org/authors/？q=ai:pulcini.gabriele “瓦尔齐，阿基利·C。” https://zbmath.org/authors/？q=ai:varzi.achille-c（c） 摘要：我们提供了两类可以说是间接（和非标准）表征经典命题逻辑的证明系统的批判性概述：证明关于经典矛盾的健全和完整的textit{反驳}系统和\textit{拒绝}系统，相对于所有经典的非自动机的大集合来说，这些证明是合理和完整的。后一类系统特别有趣，因为它们表明可以给经典命题逻辑一个次协调的特征。在这两种情况下，我们考虑Hilbert式系统以及Gentzen式顺序计算和自然推导形式。整个系列见[Zbl 1505.03005]。