Stone Lattices

[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-8Search 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-8Search 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-1129Search 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-5Search 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-0023Search 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-0017Search 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-0012Search 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-2Search in Google Scholar

[17] George Grätzer. Lattice Theory: Foundation. Birkhäuser, 2011.10.1007/978-3-0348-0018-1Search 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/BF02020328Search 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_22Search 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-0Search 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