配件，Melvin C。;V.Wiktor马雷克;特鲁什钦斯基，米罗斯瓦夫 纯粹的必然逻辑。 （英语） Zbl 0819.03011号 J.日志。计算。 2，第3期，349-373（1992）. 摘要：我们讨论了必然性的纯逻辑（{mathbf N}），它是一种包含经典命题演算的模态逻辑，以模态推理和必然性作为推理规则，但没有任何操作模态的公理。我们发展了一种逻辑理论。我们为（{mathbf N}）提出了一个完善的类Kripke语义，并建立了一个表系统来测试公式是否可以从逻辑中的理论证明。给出了计算有限理论无模结果的另一种方法。我们考虑逻辑（{mathbfN}）的主要动机来自非单调推理领域。（{mathbf N}）的非单调变体似乎在研究只有部分信息可用的知识集时特别有用。特别是，这个逻辑（{\mathbfN}）与默认逻辑有着深刻的联系。我们将结果应用于非单调推理中的问题，并设计了用于构建与\（{mathbf N}\）关联的非单调结果算子的算法。 引用于1审查引用于6文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B60号 其他非经典逻辑 68T27型 人工智能中的逻辑 关键词：纯粹必然逻辑;模态逻辑;克里普克式语义;tableau系统;非单调推理;知识集;部分信息;默认逻辑;非单调结果算子 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fitting}等人，J.Log。计算。2号，第3号，349-373（1992年；兹bl 0819.03011） 全文： 内政部