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

相关作者

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