关键的和关键鉴别性的结果关系
摘要：关于具有唯一的谓词关系，它们不仅是双重一致的，而且是合理的（但仍然是单调的），我们在本文中进行了研究。更具体地说，我们关注的是关键谓词关系，即可以通过一个关键谓词（例如D. Makinson的风格）来定义的关系。关键谓词是一个固定的估值子集，被认为是绝对意义上的重要估值。我们使用了一个普遍的估值概念，涵盖了经典估值和某种类型的多值估值。在多值情况下，关键谓词关系是双重一致的（除了合理），即它们能够得出包含矛盾的合理结论。我们将在我们的通用框架中提供关键关系的多个家族的语法特征描述。此外，我们还将在我们的通用框架中提供关键原则推理关系的多个家族的特征描述。后者的定义与普通版本完全相同，但会拒绝矛盾的结论。我们还将否定地回答Makinson所提出的一个未解决的表示问题。最后，我们将与Forget、Risch和Siegel的X逻辑建立关系。本文的动机和框架与作者先前关于优先判断关系的论文非常接近。
作者：Jonathan Ben-Naim (LIF)
论文ID：cs/0603006
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23