| 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
Formalized Mathematics | 2024-06-18 | Paper |
Elementary number theory problems. XII: Primes in arithmetic progression
Formalized Mathematics | 2024-06-18 | Paper |
Tarski geometry axioms. V: Half-planes and planes
Formalized Mathematics | 2024-06-18 | Paper |
Elementary number theory problems. VI
Formalized Mathematics | 2024-04-22 | Paper |
Building a framework of rough inclusion functions by means of computerized proof assistant
Rough Sets | 2023-12-01 | Paper |
Automatization of ternary Boolean algebras
Formalized Mathematics | 2022-09-09 | Paper |
Computer certification of generalized rough sets based on relations
Rough Sets | 2022-06-15 | Paper |
On weakly associative lattices and near lattices
Formalized Mathematics | 2022-03-29 | Paper |
Formalization of quasilattices
Formalized Mathematics | 2022-03-14 | Paper |
Automated Comparative Study of Some Generalized Rough Approximations
Fundamenta Informaticae | 2021-11-15 | Paper |
On fuzzy negations generated by fuzzy implications
Formalized Mathematics | 2021-03-24 | Paper |
Developing complementary rough inclusion functions
Formalized Mathematics | 2021-03-24 | Paper |
Formalizing lattice-theoretical aspects of rough and fuzzy sets
Rough Sets and Knowledge Technology | 2020-07-28 | Paper |
Formal development of rough inclusion functions
Formalized Mathematics | 2020-03-10 | Paper |
Fundamental properties of fuzzy implications
Formalized Mathematics | 2019-07-10 | Paper |
On two alternative axiomatizations of lattices by McKenzie and Sholander
Formalized Mathematics | 2019-07-10 | Paper |
Formalizing two generalized approximation operators
Formalized Mathematics | 2019-07-10 | Paper |
Tarski geometry axioms. IV: Right angle
Formalized Mathematics | 2019-05-24 | Paper |
Sequences of prime reciprocals. Preliminaries
Formalized Mathematics | 2018-10-17 | Paper |
Tarski geometry axioms. III
Formalized Mathematics | 2018-10-16 | Paper |
The role of the Mizar mathematical library for interactive proof development in Mizar
Journal of Automated Reasoning | 2018-08-21 | Paper |
Formal introduction to fuzzy implications
Formalized Mathematics | 2018-01-11 | Paper |
Lattice theory for rough sets -- a case study with Mizar
Fundamenta Informaticae | 2017-11-09 | Paper |
Basic formal properties of triangular norms and conorms
Formalized Mathematics | 2017-10-06 | Paper |
Introduction to Liouville numbers
Formalized Mathematics | 2017-06-07 | Paper |
All Liouville numbers are transcendental
Formalized Mathematics | 2017-06-07 | Paper |
Tarski geometry axioms
Formalized Mathematics | 2017-01-06 | Paper |
Binary relations-based rough sets -- an automated approach
Formalized Mathematics | 2017-01-06 | Paper |
Tarski geometry axioms. II
Formalized Mathematics | 2017-01-06 | Paper |
Cauchy mean theorem
Formalized Mathematics | 2017-01-06 | Paper |
Initial comparison of formal approaches to fuzzy and rough sets
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
Mechanizing complemented lattices within Mizar type system
Journal of Automated Reasoning | 2016-05-26 | Paper |
Stone lattices.
Formalized Mathematics | 2016-04-20 | Paper |
Mizar: state-of-the-art and beyond
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Two axiomatizations of Nelson algebras.
Formalized Mathematics | 2015-08-19 | Paper |
The formal construction of fuzzy numbers
Formalized Mathematics | 2015-07-14 | Paper |
Efficient rough set theory merging
Fundamenta Informaticae | 2015-06-26 | Paper |
Formalization of generalized almost distributive lattices.
Formalized Mathematics | 2015-05-12 | Paper |
On square-free numbers
Formalized Mathematics | 2014-11-05 | Paper |
Prime filters and ideals in distributive lattices
Formalized Mathematics | 2014-11-05 | Paper |
Polygonal numbers
Formalized Mathematics | 2014-11-05 | Paper |
Introduction to formal preference spaces
Formalized Mathematics | 2014-11-05 | Paper |
Definition of flat poset and existence theorems for recursive call
Formalized Mathematics | 2014-11-05 | Paper |
Topological interpretation of rough sets
Formalized Mathematics | 2014-11-05 | Paper |
Automated Discovery of Properties of Rough Sets
Fundamenta Informaticae | 2014-04-25 | Paper |
Relational formal characterization of rough sets
Formalized Mathematics | 2013-10-08 | Paper |
| scientific article; zbMATH DE number 5850143 (Why is no real title available?) | 2011-02-10 | Paper |
On duplication in mathematical repositories
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Revisions as an Essential Tool to Maintain Mathematical Repositories
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2222702 (Why is no real title available?) | 2005-11-03 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Robbins algebras vs. Boolean algebras | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1463151 (Why is no real title available?) | 2000-07-27 | Paper |
