论文信息 - Rough Sets and 3-Valued Lukasiewicz Logic

Rough Sets and 3-Valued Lukasiewicz Logic

A propositional logic for rough sets was proposed in [2]. The present work establishes a relationship between the finitary fragment of this logic and 3-valued Lukasiewicz logic L3. It is also observed that there is an embedding from L3 into the modal system S 5.

Mohua Banerjee | M. Banerjee

[1] M. Krynicki. A note on rough concepts logic , 1990 .

[2] Mohua Banerjee,et al. Rough Logics: A Survey with Further Directions , 1998 .

[3] H. Rasiowa. An Algebraic Approach To Non Classical Logics , 1974 .

[4] Ewa Orlowska,et al. Kripke semantics for knowledge representation logics , 1990, Stud Logica.

[5] P. Pagliani. Rough Set Theory and Logic-Algebraic Structures , 1998 .

[6] Denise Becchio. Logique trivalente de Lukasiewicz , 1978 .

[7] Jerzy W. Grzymala-Busse,et al. Rough Sets , 1995, Commun. ACM.

[8] Helena Rasiowa,et al. Rough concepts logic , 1984, Symposium on Computation Theory.

[9] Ewa Orlowska,et al. A logic of indiscernibility relations , 1984, Symposium on Computation Theory.

[10] George Georgescu,et al. Lukasiewicz-Moisil algebras , 2012, Annals of discrete mathematics.

[11] T. Prucnal,et al. Some remarks on three-valued logic of J. Łukasiewicz , 1967 .

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

[13] Dimiter Vakarelov,et al. Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety , 1989, Stud Logica.