Study on semantics of extension logic

摘要：

　　Traditional way of inference cant be applied to solve problems containing contradiction.In this paper, extension logic is considered as a kind of non-classical logic for solving contradictory problems.The logical representation of contradictory problems is given.Based on classical logic and non-classical logic, semantics of extension logic is given.The concepts of correctness degree and validity of extension inference are compared.In the end, the problem of logical foundation of Extenics is discussed.

作者: Z.B.Chen

作者单位: School of Computer Science, Guangdong Polytechnic Normal University, Guangzhou, Guangdong, China

会议类型: 国际会议

会议名称: International Symposium on Extenics and Innovation Methods(可拓性与创新方法国际研讨会)

会议地点: 北京

会议语种:英文

页码: 43-48

在线出版日期: 2013-08-16（万方平台首次上网日期，不代表论文的发表时间）