排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了基于扩展命题模态逻辑语义的决策信息系统表示定理,并给出了语义模型中对象的逻辑描述,特别是对基于等价关... 相似文献
2.
高士忠 《武汉理工大学学报(交通科学与工程版)》1994,18(3):347-353
将命题演算语义树理论扩充到非标准逻辑,建立了时态命题演算T1的树枝图,并证明这种枝图从语义上能判别T1的有效式,T1的无效式,从语法上能判别T1系统的定理,非定理的其它公式。 相似文献
1