Sequent calculus system for rough sets based on rough Stone algebras

Many researchers study rough sets from the point of description of the rough set pairs (a rough set pair is also called a rough set), i.e., . An important result is that the collection of rough sets of an approximation space can be made into a Stone algebra. The collection of all subsets of a set forms a Boolean algebra under the usual set theoretic operations, a model for classical proposition logic are Boolean algebras. So, it is reasonable to assume that rough Stone algebras form a class of algebras appropriate for a logic of rough sets. In this paper, a sequent calculus system corresponding to rough Stone algebra, is proposed. The syntax and semantics are defined. The soundless and completeness are proved.

[1]  Tsau Young Lin,et al.  Rough Approximate Operators: Axiomatic Rough Set Theory , 1993, RSKD.

[2]  Piero Pagliani,et al.  Rough Sets and Nelson Algebras , 1996, Fundam. Informaticae.

[3]  Churn-Jung Liau,et al.  A generalized decision logic language for granular computing , 2002, 2002 IEEE World Congress on Computational Intelligence. 2002 IEEE International Conference on Fuzzy Systems. FUZZ-IEEE'02. Proceedings (Cat. No.02CH37291).

[4]  Yiyu Yao,et al.  Constructive and Algebraic Methods of the Theory of Rough Sets , 1998, Inf. Sci..

[5]  Ivo Düntsch,et al.  A Logic for Rough Sets , 1997, Theor. Comput. Sci..

[6]  Yiyu Yao,et al.  On Modal and Fuzzy Decision Logics Based on Rough Set Theory , 2002, Fundam. Informaticae.

[7]  Yiyu Yao,et al.  On modal decision logics , 2002 .

[8]  Jianhua Dai.  Structure of Rough Approximations Based on Molecular Lattices , 2004, Rough Sets and Current Trends in Computing.

[9]  Mihir K. Chakraborty,et al.  A Study of Interconnections Between Rough and 3-Valued Lukasiewicz Logics , 2002, Fundam. Informaticae.

[10]  C. J. V. Rijsbergen,et al.  Rough Sets, Fuzzy Sets and Knowledge Discovery , 1994, Workshops in Computing.

[11]  Churn-Jung Liau,et al.  An Overview of Rough Set Semantics for Modal and Quantifier Logics , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

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

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

[14]  Jouni Järvinen.  On the Structure of Rough Approximations , 2002, Fundam. Informaticae.

[15]  J. A. Pomykala,et al.  The stone algebra of rough sets , 1988 .