Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra

著录项

• 来源
  《上海交通大学学报（英文版）》 |2012年第002期|178-181|共4页
• 作者

  XU Wei-tao; XU Yang;

  展开▼
• 作者单位

  Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China;

  College of Information Science and Engineering, Henan University of Technology, Zhengzhou 450001, China;

  Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China;

  Department of Mathematics, Southwest Jiaotong University, Chengdu 610031, China;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 信息处理（信息加工）;
• 关键词