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

Institute of Philosophy

Jan Dlugosz University

Al.Armii Krajowej 36a

42-200 Częstochowa

#### Pokój

302#### E-mail

j.grygiel@ajd.czest.pl#### Telefon

(34) 3614919 wew. 281#### Telefon / fax

34 361 3946

1983

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

1993

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

2004

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

2005-2016

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

since 2016

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

- Lattice Theory, in particular:
- gluing operations
- characterizations of distributive lattices
- notions of independence

- Algebraic Graph Theory

**Books:**- The concept of gluing for lattices, Wydawnictwa Naukowe WSP w Częstochowie, Częstochowa, 2004
- Wprowadzenie do matematyki dyskretnej, Akademicka Oficyna Wydawnicza EXIT, Warszawa 2007
- Wybrane elementy logiki, teorii mnogości i teorii grafów, Oficyna Wydawnicza Europejskiej Uczelni Informatyczno-Ekonomicznej, Warszawa 2015 (współautor Mirosław Kurkowski)

**Articles:**- Absolutely independent axiomatizations for countable sets in classical logic, Studia Logica (1989)XLVIII, 77-84
- Absolute independence in atomless algebras, Proceedings of the Vth Universal Algebra Symposium, edited by K.Hałkowska, B. Stawski, World Scientific, 1988, 136-142
- Absolutely independent sets of generators of filters in Boolean algebras, Reports on Mathematical Logic 24(1991), 25-35
- Freely generated filters in free Boolean algebras, Studia Logica 54(1994), 139-147
- Countably generated filters in Boolean algebras, Acta Universitatis Purkynianae 12(1996), 5-8
- Konstruowalność niezależnych zbiorów generatorów filtrów w algebrach Boole'a, Matematyka V(1997), Prace Naukowe WSP Częstochowa, 57-61
- Absolute independence in Heyting algebras, Acta Universitatis Purkynianae 27(1997), 17-22
- 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)
- The sum operation and link lattices, Matematyka VI(1999), Prace Naukowe WSP Częstochowa, 23-28 (współautor: Piotr Wojtylak)
- Scarce decomposition of finite distributive lattices, Contributions to General Algebra 13(2001), 149-158
- Boolean constructions of independent sets of generators for filters, Reports on Mathematical Logic 35(2001), 75-85
- Sum-representations of finite lattices, Bulletin of the Section of Logic 30/4(2001), 205-212
- On gluing of lattices, Bulletin of the Section of Logic, 32/1(2003), 27-32
- Dimensions of Boolean cubes in finite distributive lattices, Acta Universitas Wratislaviensis, Logika 23 (2005), 27-37
- Some Properties of H-irreducible Lattices, Bulletin of the Section of Logic, 33/2(2004), 71-80
- Application of the Cantor-Bendixon construction to the problem of freely generated filters, Reports on Mathematical Logic, 38(2004), 49-59
- Distributive lattices with a given skeleton, Discussiones Mathematicae, General Algebra and Applications, 24(2004), 75-94
- Some numerical characterization of finite distributive lattices, Bulletin of the Section of Logic, 33/3(2004), 1-7
- Minimal distributive lattices with a given skeleton, Contributions to General Algebra, 16 (2005), 99-105
- W-irreducible lattices, Prace Naukowe Akademii im. Jana Długosza w Częstochowie, Matematyka X, 2005, 77-82
- Weighted Double Skeletons, Bulletin of the Section of Logic, 35/1(2006), 37-48
- Some Properties of Double Skeletons, Bulletin of the Section of Logic, 35/2-3(2006), 95-104
- Some counting formulas for finite distributive lattices, Scientific Issues of Jan Długosz University in Częstochowa, Mathematics XV (2010),43-50
- Products of skeletons of finite distributive lattices,Bulletin of the Section of Logic 40/1(2011), 55-62
- Po co matematykom (i nie tylko) tolerancje, Prace Naukowe AJD w Częstochowie. Filozofia IX (2012), 199-205
- Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel, Distributive lattices determined by weighted double skeletons, Algebra Universalis Vol. 69(4) 2013, pp. 313-326
- Joanna Grygiel, Sandor Radeleczki, On the tolerance lattice of tolerance factors, Acta Mathematica Hungarica, 141 (3) (2013), 220-237
- Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel, A note on blocks of skeleton tolerances, Acta Mathematica Hungarica, 143(1), 2014, s. 176-184
- A. Górnicka, J. Grygiel, I. Tyrala, Sparingly glued tolerances, Scientific Issues Jan Długosz University, Mathematics XX, 2015, pp 47-54

**Main abstracts:**- Freely generated filters in Boolean algebras, The Bulletin of Symbolic Logic, Volume 1(1995), 92-93
- Two operations of gluing of lattices, The Bulletin of Symbolic Logic, Volume 8(2002), 136
- Independence in algebra and logic, Volume of Abstracts 10th International Congress of Logic, Methodology and Philosophy of Science 1995,46
- Freely generated filters in Boolean algebras, Book of Abstracts Logic Colloquium 93
- Constructability of free sets of generators of filters in Boolean algebras, Book of Abstracts Logic Colloquium 97, 43
- Link lattices of finite distributive lattices, Book of Abstracts Logic Colloquium 98
- Constructing distributive lattices with a given link lattices, Logic, Universal Algebra and Theoretical Computer Science, 1999, pp.43-44
- Two operations of gluing of lattices, Book of Abstracts Logic Colloquium 01
- W-representability of finite lattices, SIDIM 2003, 16
- Universal Algebra for Logics, Handbook of 1st World Congress and School on Universal Logic, 2005, pp.13-14
- Some generalization of Jaskowski masting operation, Sowremienna Logika: Problemy Teorii, Istorii i Promienienia w Naukie, 2006, p.413
- Characterizing distributive lattices by their double skeletons, Abstracts of 74th Worhshop on General Algebra, Tampere 2007, p.7
- On some characterization of distributive lattices, UniLog 2010, Book of Abstracts, p. 19
- 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:**- Matematyka V, Prace Naukowe WSP w Częstochowie, 1997
- Matematyka VI, Prace Naukowe WSP w Częstochowie, 1999
- Bulletin of the Section of Logic, 32/1&2(2003)
- Bulletin of the Section of Logic, 35/2&3(2006)
- Bulletin of the Section of Logic, 40/1&2(2011)
- Scientific Issues Jan Długosz University, Mathematics XX, 2015

Organization of Applications of Algebra in Logic and Computer Science.

- V Symposjum on Universal Algebra, May 1988, Turawa, Poland with a talk Absolute independence in classical logic
- XXXV Conference on History of Logic, October 1988, Kraków, Poland
- Logic Colloquium, August 1989, Berlin, Germany
- Conference on Logic and Foundations of Mathematics, November 1989, Jabłonna, Poland
- VI Symposjum on Universal Algebra, May 1991, Turawa, Poland, with a talk Absolutely independent sets of generators in countable algebras
- IV Summer School in Logic, Linguistics and Information, July 1991, SaarbrÃ¼cken, Germany
- V Summer School in Logic Linguistics and Information, July 1992, Colchester, Great Britain
- Logic Colloquium, July 1993, Keele, Great Britain, with a talk Freely generated filters in Boolean algebras
- VI Summer School in Logic, Linguistics and Information, August 1993, Lisbon, Portugal
- Conference on Universal Algebra, July 1994, Linz, Austria, with a talk Independence in Boolean algebras
- Conference in Algebraic Logic, August 1994, Budapest, Hungary
- Summer School on Universal Algebra and Ordered Sets, September 1994, Jeseniki, Czech Republic, with a talk Absolutely independent axiomatization in classical logic
- Conference on Applications of Mathematics, September 1994, Zakopane, Poland
- II Polish-Czech School of Mathematics, February 1995, Usti n/Labem, Czech Republic, with a talk Countably generated filters in Boolean algebras
- X Congress of Logic, Methodology and Philosophy of Science, August 1995, Florence, Italy, with a talk Independence in algebra and logic
- Summer School on Universal Algebra and Ordered Sets, September 1995, Blatiny, Czech Republic,with a talk The applications of Cantor-Bendixon construction
- I Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1996, Karpacz, Poland
- III Polish-Czech School of Mathematics, May 1996, Zakopane, Poland, with a talk Cantor-Bendixon construction and independence
- Summer School on Universal Algebra and Ordered Sets, September 1996, Liptovski Jan, Slovakia
- Conference on Discrit Mathematics, February 1997, Grzegorzewice, Poland
- II Konferencja Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1997, Karpacz, Poland
- I AALCS, May 1997, Zakopane, Poland, with a talk Jak konstruować niezależne zbiory generatorów filtrów w algebrach Boole'a
- IV Polish-Czech School of Mathematics, July 1997, Hlubos, Czech Republic, with a talk How to define independence in Heyting algebras
- Logic Colloquium, July 1997, Leeds, Great Britain, z with a talk Constructability of free sets of generators of filters in Boolean algebras
- 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
- Konferencja "Nowa Matura", October 1997, Gdańsk, Poland
- III Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 1998, Karpacz, Poland
- II AALCS, maj 1998, Zakopane, Poland, with a talk Krata połÄ…czeń kraty dystrybutywnej
- IV Polish-Czech School of Mathematics, June 1998, Złoty Potok, Poland
- Logic Colloquim, July 1998, Prague, Czech Republic, with a talk Link lattices of finite distributive lattices
- Summer School on Universal Algebra and Ordered Sets, September 1998, Milonov, Czech Republic, with a talk Wroński's sums of distributive lattices
- IV Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 1999, Karpacz, Poland
- III AALCS, May 1999, Zakopane, Poland, with a talk Kraty dystrybutywne o zadanej kracie połÄ…czeń
- 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
- V Warsztaty Logiczno-Filozoficzne, September 1999, Zawoja, Poland
- I Conference on Logic, Universal Algebra and Theoretical Computer Science, October 1999, Johannesburg, RPA, with a talkConstructing distributive lattices with a given link lattice
- IV AALCS, February 2000, Zakopane, Poland, with a talk Relacje tolerancji w kratach
- V Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2000, Karpacz, Poland
- Summer School on Universal Algebra and Ordered Sets, September 2000, Pavlov, Czech Republic,with a talk Operations of gluing lattices
- XLVI Conference of History of Logic, October 2000, Kraków, Poland
- V AALCS, February 2001, Zakopane, Poland
- VI Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2001, Karpacz, Poland
- Logic Colloquium, August 2001, Vienna, Austria,with a talk Two operations of gluing of lattices
- Summer School on Universal Algebra and Ordered Sets, September 2001, Stara Lesna, Slovakia, with a talk Finite distributive lattices with the same skeleton
- VII Warsztaty Logiczno-Filozoficzne, September 2001, Zawoja, Poland, with a talk Pewne operacje na kratach
- XLVII Conference of History of Logic, November 2001, Kraków, Poland
- VI AALCS, Zakopane, Poland, with a talk Reprezentacja sumowa krat
- VII Conference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2002, Polanica, Poland
- Summer School on Universal Algebra and Ordered Sets, September 2002, Tale, Slovakia
- VIII Warsztaty Logiczno-Filozoficzne, September 2002, Zawoja,Poland, with a talk W-reprezentacja krat skończonych
- XLVIII Conference on History of Logic,October 2002, Kraków, Poland
- SIDIM (XVIII Seminario Interuniversitario de Investigacion en Ciencias Matematicas), February 2003, Ponce, Puerto Rico, with a talk W-representability of finite lattices
- Seminar of Department of Mathematics, Mayaguez University, February 2003, Mayaguez, Puerto Rico, with a talk Some gluing operations on finite lattices
- VII AALCS, March 2003, Zakopane, POland, with a talk Rekonstrukcja krat dystrybutywnych o zadanym szkielecie
- 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
- Summer School on Universal Algebra and Ordered Sets, September 2003, Koszicka Bela, Slovakia,with a talk Sizes of maximal atomistic intervals in modular lattices
- XLIX Conference on History of Logic,October 2003, Kraków, Poland, with a talk Kraty rozkładalne w sensie Wrońskiego
- VIII AALCS, March 2004, Zakopane, Poland, with a talk Minimalne kraty dystrybutywne o zadanym szkielecie
- 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
- 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
- L Conference on History of Logic, October 2004, Kraków, Poland
- Workshop on Graph Theory 2005, January 2005, Bangkok, Thailand
- Seminar of Department of Mathematics, January 2005, Chiangmai, Thailand,with a talk Decomposition of distributive into Boolean cubes
- IX AALCS, March 2005, Zakopane, Poland, with a talk Nonisomorphic distributive lattices with the same skeleton
- First World School and Congress on Universal Logic, March 2005, Montreux, Switzerlandwith a tutorial (3 lectures) Universal Algebra for Logics
- XConference on Appications of Logic in Philosophy and Foundations of Mathematics, April 2005, Szklarska PorÄ™ba, Poland
- Summer School on Universal Algebra and Ordered Sets, September 2005, Mala Moravka, Czech Republic,with a talk Double skeletons
- LI Conference on History of Logic,October 2005, Kraków, Poland
- X AALCS, March 2006, Zakopane, Poland, with a talk Reconstructing distributive lattices with reducible skeletons
- XI Conference on Appications of Logic in Philosophy and Foundations of Mathematics, May 2006, Szklarska PorÄ™ba, Poland
- IX Conference â€žSowremienna logika", June 2006, Sankt Petersburg, Russia, with a talk Some generalization of JaÅ›kowski masting operation
- LII Conference on History of Logic, October 2006, Kraków, Poland
- XI AALCS, March 2007, Zakopane, Poland
- 74th Workshop on General Algebra, June 2007, Tampere, Finland with a talk Characterizing distributive lattices by their double skeletons
- 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
- LIII Conference on History of Logic,October 2007, Kraków, Poland
- XII AALCS, March 2008, Zakopane, Poland
- LIV Conference on History of Logic, October 2008, Kraków, Poland
- XIII AALCS, March 2009, Zakopane, Poland
- 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
- LV Conference on History of Logic, November 2009, Kraków, Poland
- Applications of Algebra in Logic and Computer Science, March 2010, Zakopane
- 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
- LVI Conference on History of Logic, October 2010, Kraków, Szkielety produktów krat dystrybutywnych
- XV AALCS, March 2011, Zakopane, Poland, with a talk Numerical characterization of finite distributive lattices by means of their weighted double skeleton
- 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
- Second International Conference on Order, Algebra, and Logics, June 2011, Kraków
- 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)
- LVII Conference on History of Logic, October 2011, Kraków
- 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)
- 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)
- 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)
- Summer School on Universal Algebra and Ordered Sets, September 2012, Novy Smokovec, Slovakia
- Scientifical visit at University of Miskolc, Hungary, October 2012
- LVIII Conference on History of Logic, October 2012, Kraków, with a talk Kraty tolerancji krat skończonych (coauthor Sandor Radeleczky)
- 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)
- AALCS XVII, March 2013, Zakopane, with a talk On some poset of tolerances of finite lattices (coauthor Sandor Radeleczki)
- 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)
- 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)
- XVIII AALCS, March 2014, Zakopane
- XXI Czech-Polish-Slovak Mathematical Conference, Karpacz, 27â€“ 30.05 2014,with a talk Tolerances and gluings (coauthor Anetta Górnicka)
- XIX AALCS, March 2015, Zakopane.
- Workshop Algebra and its applications, Tartu, Estonia, Mai 2015, with a talk Counting tolerances on lattices lattices (coauthors Anetta Górnicka and Katarzyna Grygiel)
- 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)

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