搜索到 篇“ 命题逻辑 “的相关文章

相关作者

徐扬
作品数:279被引量:1,112H指数:15
供职机构:西南交通大学数学学院
研究主题:格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
王国俊
作品数:240被引量:1,673H指数:28
供职机构:陕西师范大学数学与信息科学学院
研究主题:真度 模糊推理 代数 相似度 模糊逻辑
王廷明
作品数:51被引量:80H指数:5
供职机构:青岛大学师范学院
研究主题:二值命题逻辑 真度 伪距离 矩阵 极小项
惠小静
作品数:98被引量:226H指数:10
供职机构:延安大学数学与计算机科学学院
研究主题:真度 相似度 命题逻辑系统 伪距离 随机真度
何星星
作品数:38被引量:45H指数:4
供职机构:西南交通大学数学学院
研究主题:矛盾体 命题逻辑 一阶逻辑 机器证明 子句