| Publication | Date of Publication | Type |
|---|
| Implementing more explicit definitional expansions in Mizar (short paper) | 2024-11-26 | Paper |
| On fuzzy negations and laws of contraposition. Lattice of fuzzy negations | 2024-06-18 | Paper |
| Elementary number theory problems. XII: Primes in arithmetic progression | 2024-06-18 | Paper |
| Tarski geometry axioms. V: Half-planes and planes | 2024-06-18 | Paper |
| Elementary number theory problems. VI | 2024-04-22 | Paper |
| Building a framework of rough inclusion functions by means of computerized proof assistant | 2023-12-01 | Paper |
| Automatization of ternary Boolean algebras | 2022-09-09 | Paper |
| Computer certification of generalized rough sets based on relations | 2022-06-15 | Paper |
| On weakly associative lattices and near lattices | 2022-03-29 | Paper |
| Formalization of quasilattices | 2022-03-14 | Paper |
| Automated Comparative Study of Some Generalized Rough Approximations | 2021-11-15 | Paper |
| On fuzzy negations generated by fuzzy implications | 2021-03-24 | Paper |
| Developing complementary rough inclusion functions | 2021-03-24 | Paper |
| Formalizing lattice-theoretical aspects of rough and fuzzy sets | 2020-07-28 | Paper |
| Formal development of rough inclusion functions | 2020-03-10 | Paper |
| Fundamental properties of fuzzy implications | 2019-07-10 | Paper |
| On two alternative axiomatizations of lattices by McKenzie and Sholander | 2019-07-10 | Paper |
| Formalizing two generalized approximation operators | 2019-07-10 | Paper |
| Tarski geometry axioms. IV: Right angle | 2019-05-24 | Paper |
| Sequences of prime reciprocals. Preliminaries | 2018-10-17 | Paper |
| Tarski geometry axioms. III | 2018-10-16 | Paper |
| The role of the Mizar mathematical library for interactive proof development in Mizar | 2018-08-21 | Paper |
| Formal introduction to fuzzy implications | 2018-01-11 | Paper |
| Lattice theory for rough sets -- a case study with Mizar | 2017-11-09 | Paper |
| Basic formal properties of triangular norms and conorms | 2017-10-06 | Paper |
| Introduction to Liouville numbers | 2017-06-07 | Paper |
| All Liouville numbers are transcendental | 2017-06-07 | Paper |
| Tarski geometry axioms | 2017-01-06 | Paper |
| Binary relations-based rough sets -- an automated approach | 2017-01-06 | Paper |
| Tarski geometry axioms. II | 2017-01-06 | Paper |
| Cauchy mean theorem | 2017-01-06 | Paper |
| Initial comparison of formal approaches to fuzzy and rough sets | 2016-06-17 | Paper |
| Mechanizing complemented lattices within Mizar type system | 2016-05-26 | Paper |
| Stone lattices. | 2016-04-20 | Paper |
| Mizar: state-of-the-art and beyond | 2015-11-20 | Paper |
| Two axiomatizations of Nelson algebras. | 2015-08-19 | Paper |
| The formal construction of fuzzy numbers | 2015-07-14 | Paper |
| Efficient rough set theory merging | 2015-06-26 | Paper |
| Formalization of generalized almost distributive lattices. | 2015-05-12 | Paper |
| On square-free numbers | 2014-11-05 | Paper |
| Prime filters and ideals in distributive lattices | 2014-11-05 | Paper |
| Polygonal numbers | 2014-11-05 | Paper |
| Introduction to formal preference spaces | 2014-11-05 | Paper |
| Definition of flat poset and existence theorems for recursive call | 2014-11-05 | Paper |
| Topological interpretation of rough sets | 2014-11-05 | Paper |
| Automated Discovery of Properties of Rough Sets | 2014-04-25 | Paper |
| Relational formal characterization of rough sets | 2013-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075247 | 2011-02-10 | Paper |
| On duplication in mathematical repositories | 2010-08-24 | Paper |
| Revisions as an Essential Tool to Maintain Mathematical Repositories | 2007-11-28 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Types for Proofs and Programs | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701521 | 2005-11-03 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| Robbins algebras vs. Boolean algebras | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4487299 | 2000-07-27 | Paper |
