论文信息 - Theory of α-truth degrees in 3-valued prerough logic

Theory of α-truth degrees in 3-valued prerough logic

The theory of α-truth degrees in 3-valued Pre-rough logical system is studied in this paper. Firstly, the definition of α-truth degrees is proposed. Secondly, the general reasoning rules about α-truth degrees are obtained. Lastly, the α-similarity degree and α-pseudometric between two formulas are defined by means of the concept of α-truth degrees, and their properties are discussed. This offers a theory framework for approximate reasoning in 3-valued Pre-rough logic.

[1] Jianhua Dai. Generalized Rough Logics with Rough Algebraic Semantics , 2010, Int. J. Cogn. Informatics Nat. Intell..

[2] Li Fu,et al. Theory of truth degrees of propositions in two-valued logic , 2002, Science China Mathematics.

[3] Yanhong She,et al. A Quantitative Analysis of Rough Logic , 2010 .

[4] Lila Kari,et al. K-Comma Codes and Their Generalizations , 2011, Fundam. Informaticae.

[5] Md. Aquil Khan,et al. Propositional Logics from Rough Set Theory , 2007, Trans. Rough Sets.

[6] Mohua Banerjee,et al. Rough Sets Through Algebraic Logic , 1996, Fundam. Informaticae.

[7] Guo-jun Wang,et al. Quantitative Logic: A Quantitative Approach to Many-Valued Logics , 2010 .

[8] Mohua Banerjee,et al. Logic for Rough Truth , 2006, Fundam. Informaticae.

[9] Guojun Wang,et al. Quantitative logic , 2009, Inf. Sci..

[10] Duen-Ren Liu,et al. A Logical Formulation of Rough Set Definability , 2011, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[11] Wang Guojun Fu Li Song Jianshe,et al. Theory of truth degrees of propositions in two-valued logic , 2002 .

[12] Janusz Zalewski,et al. Rough sets: Theoretical aspects of reasoning about data , 1996 .

[13] Guojun Wang,et al. Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic , 2011, Fundam. Informaticae.

[14] Guojun Wang,et al. Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic , 2011, Fundam. Informaticae.