On the Essence & Basic Properties of Logics

摘要：

On the basis of the essence and 6 basic properties of logics (L1, L2, L3, L4, L5 and L6), the paper discusses the appearances of 6 basic properties in standard propositional logic and non-standard propositional logics, and finds that the lack of certain basic properties (except for L6 is a common basic property) exists in all non-standard logics other than standard logic and various known complete propositional logic spectrums. According to this finding, authors point that: all logic systems can be split into 2 classes, one is sound logic with complete 6 basic properties, another is non-sound logic lacking of certain basic properties in L1, L2, L3, L4 and L5; and also point that any a non-sound logic is necessarily contained in a sound logic spectrum, if it is an unknown spectrum, we should try our best to find this sound logic spectrum.

关键词： Essence of Logics Basic properties of Logics Flexible Propositional Logics Propositional LogicSpectrum Sound Logic Non-Sound Logic

作者: Huacan He Zhitao He

作者单位: Computer Institue,Northwestern Polytechnic University,XiAn,710072;Information Engineering School,Be Computer School,Beihang University,Beijing,100083

会议类型: 国际会议

会议名称: 2008高等智能国际会议(2008 International Conference on Advanced Intelligence)

会议地点: 北京

会议语种:英文

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