Adam Grabowski

Adam Grabowski, Christoph Schwarzweller, Christoph Schwarzweller, 2012, 2012 Federated Conference on Computer Science and Information Systems (FedCSIS).

Prime Filters and Ideals in Distributive Lattices

Adam Grabowski, Adam Grabowski, 2013, Formaliz. Math..

Cauchy Mean Theorem

Adam Grabowski, Adam Grabowski, 2014, Formaliz. Math..

Introduction to Formal Preference Spaces

Adam Grabowski, Eliza Niewiadomska, Adam Grabowski, 2013, Formaliz. Math..

Tarski's geometry modelled in Mizar computerized proof assistant

Adam Grabowski, Adam Grabowski, 2016, 2016 Federated Conference on Computer Science and Information Systems (FedCSIS).

Lattice of Substitutions

Adam Grabowski, 1999, Reports Math. Log..

Topological Interpretation of Rough Sets

Adam Grabowski, 2014, Formaliz. Math..

Revisions as an Essential Tool to Maintain Mathematical Repositories

Adam Grabowski, Christoph Schwarzweller, 2007, Calculemus/MKM.

Equality in computer proof-assistants

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller, 2015, 2015 Federated Conference on Computer Science and Information Systems (FedCSIS).

On Square-Free Numbers

Adam Grabowski, Adam Grabowski, 2013, Formaliz. Math..

On the computer certification of fuzzy numbers

Adam Grabowski, Adam Grabowski, 2013, 2013 Federated Conference on Computer Science and Information Systems.

Introduction to Liouville Numbers

Adam Grabowski, Artur Kornilowicz, 2017, Formaliz. Math..

Initial Comparison of Formal Approaches to Fuzzy and Rough Sets

Adam Grabowski, Takashi Mitsuishi, 2015, ICAISC.

RIFs as the Formal Tool of Measuring Similarity between Sets (short paper)

Adam Grabowski, 2019, CS&P.

Basic Formal Properties of Triangular Norms and Conorms

Adam Grabowski, Adam Grabowski, 2017, Formaliz. Math..

Managing Heterogeneous Theories within a Mathematical Knowledge Repository

Adam Grabowski, Markus Moschner, Adam Grabowski, 2004, MKM.

Tarski Geometry Axioms – Part II

Adam Grabowski, Roland Coghetto, 2016, Formaliz. Math..

Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant

Adam Grabowski, 2019, IJCRS.

The Formal Construction of Fuzzy Numbers

Adam Grabowski, 2014, Formaliz. Math..

Tarski Geometry Axioms. Part IV – Right Angle

Adam Grabowski, Roland Coghetto, 2019, Formaliz. Math..

Efficient Rough Set Theory Merging

Adam Grabowski, Adam Grabowski, 2014, CS&P.

Formalization of Generalized Almost Distributive Lattices

Adam Grabowski, Adam Grabowski, 2014, Formaliz. Math..

Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar

Adam Grabowski, 2017, ICMMI.

Automated Discovery of Properties of Rough Sets

Adam Grabowski, Adam Grabowski, 2013, Fundam. Informaticae.

Stone Lattices

Adam Grabowski, Adam Grabowski, 2015, Formaliz. Math..

Mechanizing Complemented Lattices Within Mizar Type System

Adam Grabowski, Adam Grabowski, 2015, Journal of Automated Reasoning.

Mizar in a Nutshell

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2010, J. Formaliz. Reason..

A Note on a Formal Approach to Rough Operators

Adam Grabowski, Magdalena Jastrzebska, 2010, RSCTC.

On the Lattice of Intervals and Rough Sets

Adam Grabowski, Magdalena Jastrzebska, 2009, Formaliz. Math..

Definition of Flat Poset and Existence Theorems for Recursive Call

Yasunari Shidama, Adam Grabowski, Kazuhisa Ishida, 2014, Formaliz. Math..

Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets

Adam Grabowski, Takashi Mitsuishi, T. Mitsuishi, 2015, RSKT.

Lattice Theory for Rough Sets - A Case Study with Mizar

Adam Grabowski, Adam Grabowski, 2016, Fundam. Informaticae.

Four Decades of Mizar - Foreword

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2015, J. Autom. Reason..

Binary Relations-based Rough Sets – an Automated Approach

Adam Grabowski, Adam Grabowski, 2016, Formaliz. Math..

Extending Formal Fuzzy Sets with Triangular Norms and Conorms

Adam Grabowski, Takashi Mitsuishi, 2017, EUSFLAT/IWIFSGN.

IMPROVING REPRESENTATION OF KNOWLEDGE WITHIN THE MIZAR LIBRARY

Adam Grabowski, Christoph Schwarzweller, 2009 .

On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander

Adam Grabowski, Damian Sawicki, 2018, Formaliz. Math..

On Fuzzy Negations Generated by Fuzzy Implications

Adam Grabowski, 2020, Formaliz. Math..

Fundamental Properties of Fuzzy Implications

Adam Grabowski, 2018, Formaliz. Math..

On algebraic hierarchies in mathematical repository of Mizar

Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller, 2016, 2016 Federated Conference on Computer Science and Information Systems (FedCSIS).

Formal Development of Rough Inclusion Functions

Adam Grabowski, Adam Grabowski, 2019, Formaliz. Math..

Computer-Driven Searching for Axiomatization of Rough Sets

Adam Grabowski, Adam Grabowski, 2012, CS&P.

Formal Introduction to Fuzzy Implications

Adam Grabowski, 2017, Formaliz. Math..

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Adam Naumowicz, Adam Grabowski, Karol Pak, 2017, Journal of Automated Reasoning.

Developing Complementary Rough Inclusion Functions

Adam Grabowski, 2020, Formaliz. Math..

All Liouville Numbers are Transcendental

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2017, Formaliz. Math..

Tarski's Geometry and the Euclidean Plane in Mizar

Adam Grabowski, Roland Coghetto, 2016, FM4M/MathUI/ThEdu/DP/WIP@CIKM.

Trends in Contemporary Computer Science

Adam Grabowski, Magdalena Kacprzak, Ewa Schmeidel, 2014 .

Orthomodular Lattices

Adam Grabowski, Elzbieta Madra, Adam Grabowski, 2008, Formaliz. Math..

Computer Certification of Generalized Rough Sets Based on Relations

Adam Grabowski, 2017, IJCRS.

Search for rational contour of back surface of retaining wall

Adam Grabowski, Oleg Kalmykov, Rabie Khalife, 2019 .

On duplication in mathematical repositories

Adam Grabowski, Christoph Schwarzweller, Christoph Schwarzweller, 2010, AISC'10/MKM'10/Calculemus'10.

Formalizing Two Generalized Approximation Operators

Adam Grabowski, Michal Sielwiesiuk, 2018, Formaliz. Math..

Polygonal Numbers

Adam Grabowski, 2013, Formaliz. Math..

Tarski Geometry Axioms

Jesse Alama, Adam Grabowski, William Richter, 2014, Formaliz. Math..

Fuzzy Implications in the Mizar System

Adam Grabowski, 2021, 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

On Weakly Associative Lattices and Near Lattices

Adam Grabowski, Damian Sawicki, 2021, Formaliz. Math..

Robbins Algebras vs. Boolean Algebras1

Adam Grabowski, Adam Grabowski, 2004 .

Four Decades of Mizar

Adam Naumowicz, Adam Grabowski, Artur Kornilowicz, 2015, Journal of Automated Reasoning.

The Fundamental Group

Yasunari Shidama, Adam Grabowski, Y. Shidama, 2004 .

Algebraic Properties of Homotopies

Adam Grabowski, Adam Grabowski, 2004 .

Boolean Posets, Posets under Inclusion and Products of Relational Structures 1

Adam Grabowski, Robert Milewski, R. Milewski, 1997 .

Introduction to the Homotopy Theory

Adam Grabowski, Adam Grabowski, 1997 .

On the Category of Posets

Adam Grabowski, Adam Grabowski, 1996 .

The Properties of Supercondensed Sets, Subcondensed Sets and Condensed Sets

Adam Grabowski, 2005 .