Lattice Theory for Rough Sets - A Case Study with Mizar

[1]  Z. Pawlak Rough Sets: Theoretical Aspects of Reasoning about Data , 1991 .

[2]  William McCune,et al.  Solution of the Robbins Problem , 1997, Journal of Automated Reasoning.

[3]  Adam Naumowicz,et al.  A Brief Overview of Mizar , 2009, TPHOLs.

[4]  Artur Kornilowicz Definitional Expansions in Mizar , 2015, Journal of Automated Reasoning.

[5]  Leslie Lamport,et al.  How to Write a Proof , 1995 .

[6]  Adam Grabowski,et al.  Efficient Rough Set Theory Merging , 2014, CS&P.

[7]  Jouni Järvinen,et al.  Lattice Theory for Rough Sets , 2007, Trans. Rough Sets.

[8]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[9]  Jari Kortelainen,et al.  Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points , 2007, Fundam. Informaticae.

[10]  Adam Grabowski,et al.  Formalization of Generalized Almost Distributive Lattices , 2014, Formaliz. Math..

[11]  Yiyu Yao,et al.  Covering based rough set approximations , 2012, Inf. Sci..

[12]  Adam Grabowski,et al.  Mechanizing Complemented Lattices Within Mizar Type System , 2015, Journal of Automated Reasoning.

[13]  Edward Bryniarski Formal Conception of Rough Sets , 1996, Fundam. Informaticae.

[14]  Adam Naumowicz,et al.  Mizar: State-of-the-art and Beyond , 2015, CICM.

[15]  Adam Naumowicz,et al.  An example of formalizing recent mathematical results in Mizar , 2006, J. Appl. Log..

[16]  Adam Grabowski,et al.  Rough Set Theory from a Math-Assistant Perspective , 2007, RSEISP.

[17]  Yoshinori Isomichi New concepts in the theory of topological space---supercondensed set, subcondensed set, and condensed set. , 1971 .

[18]  William Zhu,et al.  Generalized rough sets based on relations , 2007, Inf. Sci..

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

[20]  Josef Urban,et al.  Automated reasoning and presentation support for formalizing mathematics in Mizar , 2010, AISC'10/MKM'10/Calculemus'10.

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

[22]  Freek Wiedijk,et al.  Formal proof -- getting started , 2008 .

[23]  U. M. Swamy,et al.  Almost distributive lattices , 1981 .

[24]  Karol Pak Methods of Lemma Extraction in Natural Deduction Proofs , 2012, Journal of Automated Reasoning.

[25]  Adam Grabowski,et al.  On the Computer-Assisted Reasoning about Rough Sets , 2004, MSRAS.

[26]  Adam Grabowski,et al.  Automated Discovery of Properties of Rough Sets , 2013, Fundam. Informaticae.

[27]  Adam Naumowicz,et al.  Mizar in a Nutshell , 2010, J. Formaliz. Reason..

[28]  Adam Grabowski Two Axiomatizations of Nelson Algebras , 2015, Formaliz. Math..