Conference papers
- (with Mateusz Uliński) Active Structural Completeness for Tabular Modal Logics, Advances in Modal Logic 12, Booklet of short papers:110-114, 2018.
- Free Boolean extensions of Heyting algebras, Advances in Modal Logic 11, Booklet of short papers:122-126, 2016. (content included in article 17)
- Universal freeness and admissibility, UNIF (2016), 57-61.
- A characterization of varieties equivalent to varieties of affine modules, Contributions to General Algebra 14 (2004), 167-172
(preprint).
Unpublished papers
- On the Blok-Esakia theorem for universal classes, arXiv:1810.09286.
Selected slides
- The undecidability of profiniteness, TACL, Nice 2019.
- (Active) structural completeness for small frames, WARU, Prague 2019.
- Deciding active structural completeness, LATD, Bern 2018.
- Axiomatizations for universal classes, ALPFM, Szklarska poręba 2017.
- Admissibility for multi-conclusion consequence relations and universal classes
, TACL, Prague 2017.
- Free Boolean extensions of Heyting algebras, AiML, Budapest 2016.
- Structural completeness for discriminator varieties, Algebras & Clones fest, Prague 2014.
- Boolean topological graphs of semigroups, BLAST, Orange 2013.
- On almost structural completeness, TACL, Nashville 2013.
- Embedding entropic algebras into modules, UA and LT conf., Szeged 2012.
- Finite axiomatization of quasivarieties of
relational structures, Jardafest, Praha 2010.
- Abelianess implies quasi-affiness revisited, NSAC'09,
Novi Sad 2009.
- Pałasińska's finite basis theorem revisited, AAA78,
Bern 2009.
- A new proof of Pigozzi theorem, LOGIC COLLOQUIUM 2008,
Bern 2008.
- Embedding algebras into entropic
polyquasigroups, LOOPS'07, Praha 2007.
- Subreducts of modules over commutative rings, AAA74, Tampere 2007.
- O Zanurzeniach Algebr Entropicznych, Ph.D defence, Warszawa 2007.
Teaching
I teach courses in engineering (statistics, calculus, linear algebra) as well as in mathematics and computer science programs (discrete mathematics, algebra, logic). Occasionally, I conduct more advanced classes for interested students (modal logic, dynamic logic, model theory, set theory, combinatorial algebra, algebraic number theory).
Most of the materials for students are available on the LEON platform.