Formalizing Two Generalized Approximation Operators
Grabowski, Adam, Sielwiesiuk, Michał
Binary Relations-based Rough Sets – an Automated Approach
Grabowski, Adam
Automatization of Ternary Boolean Algebras
Kuśmierowski, Wojciech, Grabowski, Adam
Introduction to Formal Preference Spaces
Niewiadomska, Eliza, Grabowski, Adam
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam
Formal Introduction to Fuzzy Implications
Grabowski, Adam
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Tarski Geometry Axioms
Richter, William, Grabowski, Adam, Alama, Jesse
Formalization of Quasilattices
Kulesza, Dominik, Grabowski, Adam
Preface
Grabowski, Adam, Shidama, Yasunari
Tarski Geometry Axioms – Part II
Coghetto, Roland, Grabowski, Adam
On the Properties of the Möbius Function
Jastrzebska, Magdalena, Grabowski, Adam