A Unified Integrated Method for Evaluating Goodness of Propositions in Several Propositional Logic Systems and Its Applications  

作　　者：WANG Guojun 

机构地区：[1]Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, China

出　　处：《Chinese Journal of Electronics》2012年第2期195-201,共7页电子学报（英文版）

基　　金：＊Manuscript Received Dec. 2010; Accepted Nov. 2011. This work is supported by the National Natural Science Foundation of China （No.10771129, No.11171200）.

摘　　要：The aim of the present paper is to provide a unified integrated method for defining the concept of truth degree of propositions in diverse propositional logic systems including but not limited to the logic systems of classic logic CL, Lukasiewicz logic, C;5del logic, product logic and L （or NM） logic, as well as the corresponding fuzzy logic systems. Based on the fundamental concept of truth degree of propositions, the concepts of similarity degree and pseudo-metric between propositions are also introduced under certain conditions. Finally, a kind of ap- proximate reasoning is proposed.

关 键 词：Proposition Valuation S-S pair Truthdegree Almost tautology Similarity degree~ Pseudo-metric~ Logic metric spacer Root~ Approximate reasoning. 

分 类 号：TP273.4[自动化与计算机技术—检测技术与自动化装置] TP393[自动化与计算机技术—控制科学与工程]