References
- [1] Grzegorz Bancerek. Cardinal numbers., 1():377–382, 1990.
- [2] Grzegorz Bancerek. Filters – part II. Quotient lattices modulo filters and direct product of two lattices., 2():433–438, 1991.
- [3] Grzegorz Bancerek. Ideals., 5():149–156, 1996.
- [4] Grzegorz Bancerek. Complete lattices., 2():719–725, 1991.
- [5] Grzegorz Bancerek. The ordinal numbers., 1():91–96, 1990.
- [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,, volume 9150 of, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8 17.
- [7] Czesław Byliński. Some basic properties of sets., 1():47–53, 1990.
- [8] Marek Chmur. The lattice of natural numbers and the sublattice of it. The set of prime numbers., 2():453–459, 1991.
- [9] Agata Darmochwał. Finite sets., 1():165–167, 1990.
- [10] Adam Grabowski. On the computer-assisted reasoning about rough sets. In B. Dunin-Kęplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors,, volume 28 of, pages 215–226, Berlin, Heidelberg, 2005. Springer-Verlag. doi:10.1007/3-540-32370-8 15.
- [11] Adam Grabowski. Efficient rough set theory merging., 135(4): 371–385, 2014. doi:10.3233/FI-2014-1129.
- [12] Adam Grabowski. Mechanizing complemented lattices within Mizar system., 55:211–221, 2015. doi:10.1007/s10817-015-9333-5.
- [13] Adam Grabowski. Prime filters and ideals in distributive lattices., 21():213–221, 2013. doi:10.2478/forma-2013-0023.
- [14] Adam Grabowski. On square-free numbers., 21():153–162, 2013. doi:10.2478/forma-2013-0017.
- [15] Adam Grabowski. Two axiomatizations of Nelson algebras., 23 ():115–125, 2015. doi:10.1515/forma-2015-0012.
- [16] Adam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2 17.
- [17] George Grätzer.. Birkhäuser, 2011.
- [18] George Grätzer and E.T. Schmidt. On a problem of M.H. Stone., (8):455–460, 1957.
- [19] Jouni Järvinen. Lattice theory for rough sets., 4374:400–498, 2007.
- [20] Magdalena Jastrzębska and Adam Grabowski. On the properties of the Möbius function., 14():29–36, 2006. doi:10.2478/v10037-006-0005-0.
- [21] Jolanta Kamieńska and Jarosław Stanisław Walijewski. Homomorphisms of lattices, finite join and finite meet., 4():35–40, 1993.
- [22] Rafał Kwiatek. Factorial and Newton coefficients., 1():887–890, 1990.
- [23] Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relatively primes., 1():829–832, 1990.
- [24] Robert Milewski. More on the lattice of many sorted equivalence relations., 5():565–569, 1996.
- [25] Andrzej Trybulec. Enumerated sets., 1():25–34, 1990.
- [26] Michał J. Trybulec. Integers., 1():501–505, 1990.
- [27] Zinaida Trybulec. Properties of subsets., 1():67–71, 1990.
- [28] Stanisław Żukowski. Introduction to lattice theory., 1():215–222, 1990.
Language: English
Page range: 387 - 396
Submitted on: Oct 22, 2015
Published on: Mar 25, 2016
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
© 2016 Adam Grabowski, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.