搜索到 篇“ 直觉主义逻辑 “的相关文章

相关作者

董克诚
作品数：19被引量：5H指数：2
供职机构：河北大学数学与计算机学院
研究主题：格序群 命题演算 直觉主义逻辑 直觉主义 正规子群
李娜
作品数：445被引量：1,236H指数：13
供职机构：辽宁科技大学材料与冶金学院
研究主题：集合论 布尔值模型 膜生物反应器 布尔值 公理化
任晓明
作品数：112被引量：251H指数：7
供职机构：南开大学哲学院
研究主题：逻辑 人工智能 人工生命 归纳逻辑 逻辑与
刘新文
作品数：89被引量：59H指数：4
供职机构：中国社会科学院哲学研究所
研究主题：逻辑 模态逻辑 皮尔士 哲学逻辑 逻辑学家
刘大中
作品数：15被引量：13H指数：2
供职机构：河北大学
研究主题：直觉主义逻辑 直觉主义 程序设计 命题演算 数据挖掘