论文标题
部分可观测时空混沌系统的无模型预测
Mortensen Logics
论文作者
论文摘要
Mortensen引入了一种共同的逻辑，通常称为“ M3V”。通过向LP添加特殊条件来获得M3V。在其最引人注目的特征中，除了具有否定性外，M3V是否定性的，并且验证了每个条件的否定。但是莫滕森还研究和应用了其他非隔离逻辑，例如，封闭的集合逻辑，CSL，以及Sette逻辑的变体，由Marcos识别并称为“ P2”。 在本文中，我们通过将M3V添加到它们的条件下，系统地分析和比较了CSL和P2的共同变体。我们的主要观察结果是两个。首先，M3V的不一致在闭合集合逻辑的连接变体中加剧，而在类似Sette的P2的连接变体中，它被衰减。其次，与其他条件不同的是，M3V的条件是“连接性稳定”，这意味着当与主要的副抗否定的否定结合时，它仍然具有连接性。
Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive, M3V is negation-inconsistent and it validates the negation of every conditional. But Mortensen has also studied and applied extensively other non-connexive logics, for example, closed set logic, CSL, and a variant of Sette's logic, identified and called 'P2' by Marcos. In this paper, we analyze and compare systematically the connexive variants of CSL and P2, obtained by adding the M3V conditional to them. Our main observations are two. First, that the inconsistency of M3V is exacerbated in the connexive variant of closed set logic, while it is attenuated in the connexive variant of the Sette-like P2. Second, that the M3V conditional is, unlike other conditionals, "connexively stable", meaning that it remains connexive when combined with the main paraconsistent negations.
