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..