全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果
抱歉!未检索到相关文献
建议您在全文内查看与“直觉主义逻辑的新公理系统RH”内容相关的文献:

直觉主义逻辑的新公理系统RH  CNKI文献

由于计算机科学和人工智能的发展,直觉主义逻辑、相干逻辑引起了人们极大的兴趣.能否建立一个既是相干的又是直觉主义的逻辑公理系统呢? 遵循直觉主义创始人Brouwer的初衷(不承认排中律,也不否定排中律),可以对直觉主...

陈自立 1995年逻辑研究专辑 1995-06-30 中国会议

关键词: 直觉主义逻辑 / 相干逻辑 / 导出规则 / AVB

下载(41)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状