许多值Lukasiewicz模态系统和关系语义的完备性结果
摘要：在Lukasiewicz多值逻辑中添加一种模态的问题上以获得Kripke语义的完备性结果。我们定义了一类模态多值逻辑以及它们对应的Kripke模型和模态多值代数。通过构建一个规范模型来考虑完备性结果。针对有限值模态逻辑和具有无穷演绎规则的多值模态系统获得了完备性。我们引入了两类有限值逻辑的框架，并且证明它们定义了两个不同的Kripke完备逻辑类别。
作者：Georges Hansoul and Bruno Teheux
论文ID：math/0612542
分类：Logic
分类简称：math.LO
提交时间：2007-05-23