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

相关作者

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