咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 the belnap logic
  • 1 篇 thecompleteness
  • 1 篇 modality
  • 1 篇 the soundness

机构

  • 1 篇 state key labora...
  • 1 篇 key laboratory o...

作者

  • 1 篇 yuefei sui
  • 1 篇 wei li

语言

  • 1 篇 英文
检索条件"主题词=the Belnap logic"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
The B4-valued propositional logic with unary logical connectives ～1 /～2/┐
收藏
分享
引用
Frontiers of Computer Science 2017年 第5期11卷 887-894页
作者： Wei LI Yuefei SUI State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Beijing 100191 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China
A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ～1, ～2, ┐ and two binary logical connectives A, v, and a Gentzen-typed deduction system will be given s... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件