About

Curriculum Vitae

Stopnie naukowe

M.Sc., Modal algorithmic logics, University of Silesia, Katowice. Supervisor: dr Andrzej Biela

Ph.D., Independent sets of generators of filters in Boolean algebras, University of Silesia, Katowice. Supervisor: doc. dr hab. P. Wojtylak. Reviewers: prof. dr hab. Katarzyna Hańkowska, prof. dr hab. Aleksander Błaszczyk

Habilitation, The concept of gluing for lattices, University of Wrocław, Reviewers: prof.dr hab. Jerzy Pogonowski, prof. dr hab. Andrzej Wroński, dr hab. Jacek Hawranek

Positions

Professor in Institute of Mathematics and Computer Science, Jan Dlugosz University of Częstochowa, Head of Algebra and Logic Group

Professor in Institute of Philosophy, Jan Dlugosz University of Częstochowa, Head of Logic, Methodology and Epistemology Group

Main interests:

  • Lattice Theory, in particular:
    1. gluing operations
    2. characterizations of distributive lattices
    3. notions of independence
  • Algebraic Graph Theory

Papers

  • 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

Conferences and talks

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)

Contact

Contact info

  • Al. Armii Krajowej 36a, 42-200 Częstochowa
  • (34) 3614919 wew. 281
  • j.grygiel@ujd.edu.pl
  • https://j.grygiel.eu