[[1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.]Search in Google Scholar
[[2] Grzegorz Bancerek. Filters – part II. Quotient lattices modulo filters and direct product of two lattices. Formalized Mathematics, 2(3):433–438, 1991.]Search in Google Scholar
[[3] Grzegorz Bancerek. Ideals. Formalized Mathematics, 5(2):149–156, 1996.]Search in Google Scholar
[[4] Grzegorz Bancerek. Complete lattices. Formalized Mathematics, 2(5):719–725, 1991.]Search in Google Scholar
[[5] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.]Search in Google Scholar
[[6] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8 17.10.1007/978-3-319-20615-8]Search in Google Scholar
[[7] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.]Search in Google Scholar
[[8] Marek Chmur. The lattice of natural numbers and the sublattice of it. The set of prime numbers. Formalized Mathematics, 2(4):453–459, 1991.]Search in Google Scholar
[[9] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.]Search in Google Scholar
[[10] Adam Grabowski. On the computer-assisted reasoning about rough sets. In B. Dunin-Kęplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems Location, volume 28 of Advances in Soft Computing, pages 215–226, Berlin, Heidelberg, 2005. Springer-Verlag. doi:10.1007/3-540-32370-8 15.10.1007/3-540-32370-8]Search in Google Scholar
[[11] Adam Grabowski. Efficient rough set theory merging. Fundamenta Informaticae, 135(4): 371–385, 2014. doi:10.3233/FI-2014-1129.10.3233/FI-2014-1129]Search in Google Scholar
[[12] Adam Grabowski. Mechanizing complemented lattices within Mizar system. Journal of Automated Reasoning, 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.10.1007/s10817-015-9333-5]Search in Google Scholar
[[13] Adam Grabowski. Prime filters and ideals in distributive lattices. Formalized Mathematics, 21(3):213–221, 2013. doi:10.2478/forma-2013-0023.10.2478/forma-2013-0023]Search in Google Scholar
[[14] Adam Grabowski. On square-free numbers. Formalized Mathematics, 21(2):153–162, 2013. doi:10.2478/forma-2013-0017.10.2478/forma-2013-0017]Search in Google Scholar
[[15] Adam Grabowski. Two axiomatizations of Nelson algebras. Formalized Mathematics, 23 (2):115–125, 2015. doi:10.1515/forma-2015-0012.10.1515/forma-2015-0012]Search in Google Scholar
[[16] Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2 17.10.1007/978-3-540-73451-2]Search in Google Scholar
[[17] George Grätzer. Lattice Theory: Foundation. Birkhäuser, 2011.10.1007/978-3-0348-0018-1]Search in Google Scholar
[[18] George Grätzer and E.T. Schmidt. On a problem of M.H. Stone. Acta Mathematica Academiae Scientarum Hungaricae, (8):455–460, 1957.10.1007/BF02020328]Search in Google Scholar
[[19] Jouni Järvinen. Lattice theory for rough sets. Transactions of Rough Sets, VI, Lecture Notes in Computer Science, 4374:400–498, 2007.10.1007/978-3-540-71200-8_22]Search in Google Scholar
[[20] Magdalena Jastrzębska and Adam Grabowski. On the properties of the Möbius function. Formalized Mathematics, 14(1):29–36, 2006. doi:10.2478/v10037-006-0005-0.10.2478/v10037-006-0005-0]Search in Google Scholar
[[21] Jolanta Kamieńska and Jarosław Stanisław Walijewski. Homomorphisms of lattices, finite join and finite meet. Formalized Mathematics, 4(1):35–40, 1993.]Search in Google Scholar
[[22] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887–890, 1990.]Search in Google Scholar
[[23] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relatively primes. Formalized Mathematics, 1(5):829–832, 1990.]Search in Google Scholar
[[24] Robert Milewski. More on the lattice of many sorted equivalence relations. Formalized Mathematics, 5(4):565–569, 1996.]Search in Google Scholar
[[25] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25–34, 1990.]Search in Google Scholar
[[26] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.]Search in Google Scholar
[[27] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.]Search in Google Scholar
[[28] Stanisław Żukowski. Introduction to lattice theory. Formalized Mathematics, 1(1):215–222, 1990.]Search in Google Scholar