作者：埃德温·马莱斯否定模型结构可能世界信息解释相容关系命题联结词真值条件逻辑
摘要：在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与L_1联系紧密的逻辑系L_2。其中,L_2被同时包含世界和情境两者的类模型所刻画。当我们只考虑某个L_2模型中包含情境的部分（连同可达关系,不相容关系,以及可分辨情境的集合）时,我们将得到一个L_1的模型结构。在给定了一些关联L_1的模型结构与可能世界的直觉条件后,我们得到了一类特殊的模型——被这类模型刻画的逻辑可以合理地将相干否定与经典否定关联,并且允许我们认为此二者是相容的。在这篇文章中,我首先给定了一个简单的信息逻辑——一个非常弱的相干逻辑。然后,我尝试对其中的命题联结词的真值条件使用经典的处理。以上处理我分两步完成。首先,使用Routley-Meyer的语义以及相关的信息解释。然后,我给出了另一个能够整合环境（或情境）与可能世界之间关系的逻辑。这一关系,可以理解为信息与真之间的形而上的关联。在文章的最后,我将指出在在相干逻辑中整合经典否定的好处。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
