搜索到 篇“ 命题演算 “的相关文章

相关作者

吴洪博
作品数：230被引量：475H指数：17
供职机构：陕西师范大学
研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
肖奚安
作品数：41被引量：152H指数：7
供职机构：解放军理工大学理学院
研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
王国俊
作品数：240被引量：1,673H指数：28
供职机构：陕西师范大学数学与信息科学学院
研究主题：真度 模糊推理 代数 相似度 模糊逻辑
文秋梅
作品数：6被引量：71H指数：4
供职机构：岳阳师范学院数学系
研究主题：模糊逻辑 命题演算 模糊命题演算 形式演绎系统 模糊推理
董克诚
作品数：19被引量：5H指数：2
供职机构：河北大学数学与计算机学院
研究主题：格序群 命题演算 直觉主义逻辑 直觉主义 正规子群