Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

著录项

• 来源
  《中国高等学校学术文摘·计算机科学》 |2021年第3期|120-132|共13页
• 作者

  Cungen CAO; Lanxi HU; Yuefei SUI;

  展开▼
• 作者单位

  Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China;

  Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China;

  School of Computer Science and Technology University of Chinese Academy of Sciences Beijing 100049 China;

  Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China;

  School of Computer Science and Technology University of Chinese Academy of Sciences Beijing 100049 China;

  展开▼
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词