模态逻辑公理的粗糙真语义分析

摘要：

粗糙真是Pawlak粗糙逻辑的5个逻辑值之一,介于真与假之间.通过对论域Un上所有近似空间相互关系的讨论,构造了一类代数结构--格,这类格形成了特殊的克里普克语义模型.其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析.这种分析不限于真与假的二值讨论,而主要对粗糙真进行重点研究.最终的结果表明模态逻辑形式系统的公理在这类特殊语义模型中基本都粗糙真有效.从而也得到了利用某些公理进行粗糙真形式推理的可靠性.

关键词：粗糙真、语义、粗糙真有效、粗糙真公理

所属期刊栏目：43

分类号：TP18(自动化基础理论)

资助基金：河南省自然科学基金0611055200

在线出版日期：2006-12-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1999-2004