Adam Grabowski

Available identifiers

zbMath Open grabowski.adamWikidataQ102414025 ScholiaQ102414025MaRDI QIDQ271909

List of research outcomes

Publication	Date of Publication	Type
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
Developing complementary rough inclusion functions	2021-03-24	Paper
On fuzzy negations generated by fuzzy implications	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
Formalizing two generalized approximation operators	2019-07-10	Paper
On two alternative axiomatizations of lattices by McKenzie and Sholander	2019-07-10	Paper
Fundamental properties of fuzzy implications	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
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
Tarski geometry axioms	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
Polygonal numbers	2014-11-05	Paper
On square-free numbers	2014-11-05	Paper
Prime filters and ideals in distributive lattices	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
https://portal.mardi4nfdi.de/entity/Q2767933	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4487299	2000-07-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adam Grabowski