期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
模态逻辑系统S5的本原运算子集
1
作者 李芸 董克诚 《河北大学学报（自然科学版）》 CAS 1997年第4期60-62,共3页
探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
关键词 模态逻辑 模态词 本原运算子 模态命题演算
下载PDF
模态判断与性质判断 被引量：1
2
作者 周强林 《西华师范大学学报（哲学社会科学版）》 1994年第4期120-122,共3页
模态判断与性质判断周强林“模态”有广义、狭义之分，就狭义的模态而言，一般的逻辑著作中又将其分为三类判断，并具体分成六个种类，即“必然Ｐ”（ＬＰ）、“必然非Ｐ”（ＬＮ、“实然Ｐ”（Ｐ）、“实然非Ｐ”“可能Ｐ”（ＭＰ）、... 模态判断与性质判断周强林“模态”有广义、狭义之分，就狭义的模态而言，一般的逻辑著作中又将其分为三类判断，并具体分成六个种类，即“必然Ｐ”（ＬＰ）、“必然非Ｐ”（ＬＮ、“实然Ｐ”（Ｐ）、“实然非Ｐ”“可能Ｐ”（ＭＰ）、“可能非Ｐ”（Ｍ）。在素材相同（即... 展开更多
关键词 模态判断 对当关系 性质判断 下反对关系 逻辑方阵 单称否定判断 三类判断 推理形式 模态命题演算 周强
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部