dr hab. Joanna Grygiel

• Books:
  1. The concept of gluing for lattices, Wydawnictwa Naukowe WSP w Częstochowie, Częstochowa, 2004
  2. Wprowadzenie do matematyki dyskretnej, Akademicka Oficyna Wydawnicza EXIT, Warszawa 2007
  3. Wybrane elementy logiki, teorii mnogości i teorii grafów, Oficyna Wydawnicza Europejskiej Uczelni Informatyczno-Ekonomicznej, Warszawa 2015 (współautor Mirosław Kurkowski)
• Articles:
  1. Absolutely independent axiomatizations for countable sets in classical logic, Studia Logica (1989)XLVIII, 77-84
  2. Absolute independence in atomless algebras, Proceedings of the Vth Universal Algebra Symposium, edited by K.Hałkowska, B. Stawski, World Scientific, 1988, 136-142
  3. Absolutely independent sets of generators of filters in Boolean algebras, Reports on Mathematical Logic 24(1991), 25-35
  4. Freely generated filters in free Boolean algebras, Studia Logica 54(1994), 139-147
  5. Countably generated filters in Boolean algebras, Acta Universitatis Purkynianae 12(1996), 5-8
  6. Konstruowalność niezależnych zbiorów generatorów filtrów w algebrach Boole'a, Matematyka V(1997), Prace Naukowe WSP Częstochowa, 57-61
  7. Absolute independence in Heyting algebras, Acta Universitatis Purkynianae 27(1997), 17-22
  8. The uniqueness of the decomposition of distributive lattices into sums of Boolean algebras, Reports on Mathematical Logic 31(1997), 93-102 (współautor: Piotr Wojtylak)
  9. The sum operation and link lattices, Matematyka VI(1999), Prace Naukowe WSP Częstochowa, 23-28 (współautor: Piotr Wojtylak)
  10. Scarce decomposition of finite distributive lattices, Contributions to General Algebra 13(2001), 149-158
  11. Boolean constructions of independent sets of generators for filters, Reports on Mathematical Logic 35(2001), 75-85
  12. Sum-representations of finite lattices, Bulletin of the Section of Logic 30/4(2001), 205-212
  13. On gluing of lattices, Bulletin of the Section of Logic, 32/1(2003), 27-32
  14. Dimensions of Boolean cubes in finite distributive lattices, Acta Universitas Wratislaviensis, Logika 23 (2005), 27-37
  15. Some Properties of H-irreducible Lattices, Bulletin of the Section of Logic, 33/2(2004), 71-80
  16. Application of the Cantor-Bendixon construction to the problem of freely generated filters, Reports on Mathematical Logic, 38(2004), 49-59
  17. Distributive lattices with a given skeleton, Discussiones Mathematicae, General Algebra and Applications, 24(2004), 75-94
  18. Some numerical characterization of finite distributive lattices, Bulletin of the Section of Logic, 33/3(2004), 1-7
  19. Minimal distributive lattices with a given skeleton, Contributions to General Algebra, 16 (2005), 99-105
  20. W-irreducible lattices, Prace Naukowe Akademii im. Jana Długosza w Częstochowie, Matematyka X, 2005, 77-82
  21. Weighted Double Skeletons, Bulletin of the Section of Logic, 35/1(2006), 37-48
  22. Some Properties of Double Skeletons, Bulletin of the Section of Logic, 35/2-3(2006), 95-104
  23. Some counting formulas for finite distributive lattices, Scientific Issues of Jan Długosz University in Częstochowa, Mathematics XV (2010),43-50
  24. Products of skeletons of finite distributive lattices,Bulletin of the Section of Logic 40/1(2011), 55-62
  25. Po co matematykom (i nie tylko) tolerancje, Prace Naukowe AJD w Częstochowie. Filozofia IX (2012), 199-205
  26. Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel, Distributive lattices determined by weighted double skeletons, Algebra Universalis Vol. 69(4) 2013, pp. 313-326
  27. Joanna Grygiel, Sandor Radeleczki, On the tolerance lattice of tolerance factors, Acta Mathematica Hungarica, 141 (3) (2013), 220-237
  28. Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel, A note on blocks of skeleton tolerances, Acta Mathematica Hungarica, 143(1), 2014, s. 176-184
  29. A. Górnicka, J. Grygiel, I. Tyrala, Sparingly glued tolerances, Scientific Issues Jan Długosz University, Mathematics XX, 2015, pp 47-54
• Main abstracts:
  1. Freely generated filters in Boolean algebras, The Bulletin of Symbolic Logic, Volume 1(1995), 92-93
  2. Two operations of gluing of lattices, The Bulletin of Symbolic Logic, Volume 8(2002), 136
  3. Independence in algebra and logic, Volume of Abstracts 10th International Congress of Logic, Methodology and Philosophy of Science 1995,46
  4. Freely generated filters in Boolean algebras, Book of Abstracts Logic Colloquium 93
  5. Constructability of free sets of generators of filters in Boolean algebras, Book of Abstracts Logic Colloquium 97, 43
  6. Link lattices of finite distributive lattices, Book of Abstracts Logic Colloquium 98
  7. Constructing distributive lattices with a given link lattices, Logic, Universal Algebra and Theoretical Computer Science, 1999, pp.43-44
  8. Two operations of gluing of lattices, Book of Abstracts Logic Colloquium 01
  9. W-representability of finite lattices, SIDIM 2003, 16
  10. Universal Algebra for Logics, Handbook of 1st World Congress and School on Universal Logic, 2005, pp.13-14
  11. Some generalization of Jaskowski masting operation, Sowremienna Logika: Problemy Teorii, Istorii i Promienienia w Naukie, 2006, p.413
  12. Characterizing distributive lattices by their double skeletons, Abstracts of 74th Worhshop on General Algebra, Tampere 2007, p.7
  13. On some characterization of distributive lattices, UniLog 2010, Book of Abstracts, p. 19
  14. Lattice tolerances and their blocks (joint work with A.Górnicka and K.Grygiel), Handbook of 4th World Congree and School on Universal Logic, UNILOG'2013, p.359-360
• Editor of:
  1. Matematyka V, Prace Naukowe WSP w Częstochowie, 1997
  2. Matematyka VI, Prace Naukowe WSP w Częstochowie, 1999
  3. Bulletin of the Section of Logic, 32/1&2(2003)
  4. Bulletin of the Section of Logic, 35/2&3(2006)
  5. Bulletin of the Section of Logic, 40/1&2(2011)
  6. Scientific Issues Jan Długosz University, Mathematics XX, 2015

Organization of Applications of Algebra in Logic and Computer Science.

1. V Symposjum on Universal Algebra, May 1988, Turawa, Poland with a talk Absolute independence in classical logic
2. XXXV Conference on History of Logic, October 1988, Kraków, Poland
3. Logic Colloquium, August 1989, Berlin, Germany
4. Conference on Logic and Foundations of Mathematics, November 1989, Jabłonna, Poland
5. VI Symposjum on Universal Algebra, May 1991, Turawa, Poland, with a talk Absolutely independent sets of generators in countable algebras
6. IV Summer School in Logic, Linguistics and Information, July 1991, Saarbrücken, Germany
7. V Summer School in Logic Linguistics and Information, July 1992, Colchester, Great Britain
8. Logic Colloquium, July 1993, Keele, Great Britain, with a talk Freely generated filters in Boolean algebras
9. VI Summer School in Logic, Linguistics and Information, August 1993, Lisbon, Portugal
10. Conference on Universal Algebra, July 1994, Linz, Austria, with a talk Independence in Boolean algebras
11. Conference in Algebraic Logic, August 1994, Budapest, Hungary
12. Summer School on Universal Algebra and Ordered Sets, September 1994, Jeseniki, Czech Republic, with a talk Absolutely independent axiomatization in classical logic
13. Conference on Applications of Mathematics, September 1994, Zakopane, Poland
14. II Polish-Czech School of Mathematics, February 1995, Usti n/Labem, Czech Republic, with a talk Countably generated filters in Boolean algebras
15. X Congress of Logic, Methodology and Philosophy of Science, August 1995, Florence, Italy, with a talk Independence in algebra and logic
16. Summer School on Universal Algebra and Ordered Sets, September 1995, Blatiny, Czech Republic,with a talk The applications of Cantor-Bendixon construction
17. I Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1996, Karpacz, Poland
18. III Polish-Czech School of Mathematics, May 1996, Zakopane, Poland, with a talk Cantor-Bendixon construction and independence
19. Summer School on Universal Algebra and Ordered Sets, September 1996, Liptovski Jan, Slovakia
20. Conference on Discrit Mathematics, February 1997, Grzegorzewice, Poland
21. II Konferencja Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1997, Karpacz, Poland
22. I AALCS, May 1997, Zakopane, Poland, with a talk Jak konstruować niezależne zbiory generatorów filtrów w algebrach Boole'a
23. IV Polish-Czech School of Mathematics, July 1997, Hlubos, Czech Republic, with a talk How to define independence in Heyting algebras
24. Logic Colloquium, July 1997, Leeds, Great Britain, z with a talk Constructability of free sets of generators of filters in Boolean algebras
25. Summer School on Universal Algebra and Ordered Sets, September 1997, Strbskie Pleso, Slovakia,with a talk The possibility of constructing independent sets of generators of filters by means of Boolean operators
26. Konferencja "Nowa Matura", October 1997, Gdańsk, Poland
27. III Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1998, Karpacz, Poland
28. II AALCS, maj 1998, Zakopane, Poland, with a talk Krata połÄ…czeń kraty dystrybutywnej
29. IV Polish-Czech School of Mathematics, June 1998, Złoty Potok, Poland
30. Logic Colloquim, July 1998, Prague, Czech Republic, with a talk Link lattices of finite distributive lattices
31. Summer School on Universal Algebra and Ordered Sets, September 1998, Milonov, Czech Republic, with a talk Wroński's sums of distributive lattices
32. IV Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 1999, Karpacz, Poland
33. III AALCS, May 1999, Zakopane, Poland, with a talk Kraty dystrybutywne o zadanej kracie połÄ…czeń
34. Summer School on Universal Algebra and Ordered Sets, September 1999, Milonov, Czech Republic,with a talk Dimensions of maximal Boolean fragments of the distributive lattice with a given skeleton
35. V Warsztaty Logiczno-Filozoficzne, September 1999, Zawoja, Poland
36. I Conference on Logic, Universal Algebra and Theoretical Computer Science, October 1999, Johannesburg, RPA, with a talkConstructing distributive lattices with a given link lattice
37. IV AALCS, February 2000, Zakopane, Poland, with a talk Relacje tolerancji w kratach
38. V Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2000, Karpacz, Poland
39. Summer School on Universal Algebra and Ordered Sets, September 2000, Pavlov, Czech Republic,with a talk Operations of gluing lattices
40. XLVI Conference of History of Logic, October 2000, Kraków, Poland
41. V AALCS, February 2001, Zakopane, Poland
42. VI Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2001, Karpacz, Poland
43. Logic Colloquium, August 2001, Vienna, Austria,with a talk Two operations of gluing of lattices
44. Summer School on Universal Algebra and Ordered Sets, September 2001, Stara Lesna, Slovakia, with a talk Finite distributive lattices with the same skeleton
45. VII Warsztaty Logiczno-Filozoficzne, September 2001, Zawoja, Poland, with a talk Pewne operacje na kratach
46. XLVII Conference of History of Logic, November 2001, Kraków, Poland
47. VI AALCS, Zakopane, Poland, with a talk Reprezentacja sumowa krat
48. VII Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2002, Polanica, Poland
49. Summer School on Universal Algebra and Ordered Sets, September 2002, Tale, Slovakia
50. VIII Warsztaty Logiczno-Filozoficzne, September 2002, Zawoja,Poland, with a talk W-reprezentacja krat skończonych
51. XLVIII Conference on History of Logic,October 2002, Kraków, Poland
52. SIDIM (XVIII Seminario Interuniversitario de Investigacion en Ciencias Matematicas), February 2003, Ponce, Puerto Rico, with a talk W-representability of finite lattices
53. Seminar of Department of Mathematics, Mayaguez University, February 2003, Mayaguez, Puerto Rico, with a talk Some gluing operations on finite lattices
54. VII AALCS, March 2003, Zakopane, POland, with a talk Rekonstrukcja krat dystrybutywnych o zadanym szkielecie
55. VIII Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 2003, Karpacz, Poland with a talk Dimensions of Boolean cubes in distributive lattices
56. Summer School on Universal Algebra and Ordered Sets, September 2003, Koszicka Bela, Slovakia,with a talk Sizes of maximal atomistic intervals in modular lattices
57. XLIX Conference on History of Logic,October 2003, Kraków, Poland, with a talk Kraty rozkładalne w sensie Wrońskiego
58. VIII AALCS, March 2004, Zakopane, Poland, with a talk Minimalne kraty dystrybutywne o zadanym szkielecie
59. IX Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2004, Karpacz, Poland, with a talk Numerical characterization of finite distributive lattices
60. Summer School on Universal Algebra and Ordered Sets, September 2004. Mala Moravka, Czech Republic, with a talk The least distributive lattice with a given skeleton
61. L Conference on History of Logic, October 2004, Kraków, Poland
62. Workshop on Graph Theory 2005, January 2005, Bangkok, Thailand
63. Seminar of Department of Mathematics, January 2005, Chiangmai, Thailand,with a talk Decomposition of distributive into Boolean cubes
64. IX AALCS, March 2005, Zakopane, Poland, with a talk Nonisomorphic distributive lattices with the same skeleton
65. First World School and Congress on Universal Logic, March 2005, Montreux, Switzerlandwith a tutorial (3 lectures) Universal Algebra for Logics
66. XConference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2005, Szklarska Poręba, Poland
67. Summer School on Universal Algebra and Ordered Sets, September 2005, Mala Moravka, Czech Republic,with a talk Double skeletons
68. LI Conference on History of Logic,October 2005, Kraków, Poland
69. X AALCS, March 2006, Zakopane, Poland, with a talk Reconstructing distributive lattices with reducible skeletons
70. XI Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 2006, Szklarska Poręba, Poland
71. IX Conference „Sowremienna logika", June 2006, Sankt Petersburg, Russia, with a talk Some generalization of Jaśkowski masting operation
72. LII Conference on History of Logic, October 2006, Kraków, Poland
73. XI AALCS, March 2007, Zakopane, Poland
74. 74th Workshop on General Algebra, June 2007, Tampere, Finland with a talk Characterizing distributive lattices by their double skeletons
75. Summer School on Universal Algebra and Ordered Sets, September 2007, Tale, Slovakia, with a talk How to reconstruct a distributive lattice with a given reducible skeleton
76. LIII Conference on History of Logic,October 2007, Kraków, Poland
77. XII AALCS, March 2008, Zakopane, Poland
78. LIV Conference on History of Logic, October 2008, Kraków, Poland
79. XIII AALCS, March 2009, Zakopane, Poland
80. XIV Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2009, Szklarska Poręba, Poland, with a talk O pewnej charakteryzacji krat dystrybutywnych
81. LV Conference on History of Logic, November 2009, Kraków, Poland
82. Applications of Algebra in Logic and Computer Science, March 2010, Zakopane
83. Third World School and Congress on Universal Logic, April 2010, Estoril, Portugal, On some characterization of distributive lattices. The organizer of the special session Algebras for Logics
84. LVI Conference on History of Logic, October 2010, Kraków, Szkielety produktów krat dystrybutywnych
85. XV AALCS, March 2011, Zakopane, Poland, with a talk Numerical characterization of finite distributive lattices by means of their weighted double skeleton
86. Seminar of Institute of Mathemathics, University of Miskolc, May 2011, Miskolc, Hungary, with a talk Some characterization of finite distributive lattices by means of their weighted double skeletons
87. Second International Conference on Order, Algebra, and Logics, June 2011, Kraków
88. Summer School on Universal Algebra and Ordered Sets, September 2011, Svratka, Czech Republik, with a talk Irreducible elements in distributive lattices with given weighted double skeletons (coauthor Katarzyna Grygiel)
89. LVII Conference on History of Logic, October 2011, Kraków
90. XVI AALCS, March 2012, Zakopane, Poland, with talks How to reconstruct a distributive lattice with an H-irreducible skeleton? (coauthor Katarzyna Grygiel) and How do blocks in skeletons of finite distributive lattices look like? (coauthors Anetta Górnicka and Katarzyna Grygiel)
91. XVII Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 20012, Szklarska PorÄ™ba, Poland, with talks Blocks of skeleton tolerances (coauthors Anetta Górnicka and Katarzyna Grygiel) and Finite distributive lattices and their boolean parts (coauthors Gabor Czedli and Katarzyna Grygiel)
92. Universal Algebra and Lattice Theory, June 2012, Szeged, Hungary with talks On the tolerance lattice of tolerance factors (coauthor Sandor Radelczki) and Lattices being blocks of skeleton tolerances (coauthors Anetta Górnicka i Katarzyna Grygiel)
93. Summer School on Universal Algebra and Ordered Sets, September 2012, Novy Smokovec, Slovakia
94. Scientifical visit at University of Miskolc, Hungary, October 2012
95. LVIII Conference on History of Logic, October 2012, Kraków, with a talk Kraty tolerancji krat skończonych (coauthor Sandor Radeleczky)
96. Seminar on General Algebra, Warsaw University of Technology, November 2012 with a talk Rekonstrukcja skończonych krat dystrybutywnych na podstawie ich ważonych podwójnych szkieletów (coauthor Katarzyna Grygiel)
97. AALCS XVII, March 2013, Zakopane, with a talk On some poset of tolerances of finite lattices (coauthor Sandor Radeleczki)
98. 4th World Congress and School on Universal Logic, March 29th-April 7th 2013, Rio de Janeiro, Brazil, with a talk Lattice tolerances and their blocks (coauthors Anetta Górnicka and Katarzyna Grygiel)
99. Kangroo-100, Methods of Analysis and Algebra, September1-6, Tartu 2013, Estonia, with a talk On blocks of skeleton tolerances (coauthors Anetta Górnicka and Katarzyna Grygiel)
100. XVIII AALCS, March 2014, Zakopane
101. XXI Czech-Polish-Slovak Mathematical Conference, Karpacz, 27– 30.05 2014,with a talk Tolerances and gluings (coauthor Anetta Górnicka)
102. XIX AALCS, March 2015, Zakopane.
103. Workshop Algebra and its applications, Tartu, Estonia, Mai 2015, with a talk Counting tolerances on lattices lattices (coauthors Anetta Górnicka and Katarzyna Grygiel)
104. XXII Czech-Polish-Slovak Mathematical Conference, Ruzomberok, Slovakia, June 2015, with a talk How many tolerances are there for finite lattices (coauthor Anetta Górnicka)