The following pages link to Adam Grabowski (Q271909):
Displayed 50 items.
- Stone lattices. (Q271910) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Polygonal numbers (Q467780) (← links)
- On square-free numbers (Q467787) (← links)
- Prime filters and ideals in distributive lattices (Q467793) (← links)
- Introduction to formal preference spaces (Q467795) (← links)
- Definition of flat poset and existence theorems for recursive call (Q467805) (← links)
- Topological interpretation of rough sets (Q467816) (← links)
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- Binary relations-based rough sets -- an automated approach (Q502682) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Cauchy mean theorem (Q502698) (← links)
- Tarski geometry axioms (Q502700) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Formal introduction to fuzzy implications (Q1688751) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- Sequences of prime reciprocals. Preliminaries (Q1796770) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Automatization of ternary Boolean algebras (Q2171519) (← links)
- Formal development of rough inclusion functions (Q2305345) (← links)
- Formalizing two generalized approximation operators (Q2311527) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Fundamental properties of fuzzy implications (Q2311534) (← links)
- Formalization of generalized almost distributive lattices. (Q2344193) (← links)
- The formal construction of fuzzy numbers (Q2353434) (← links)
- Introduction to Liouville numbers (Q2356936) (← links)
- All Liouville numbers are transcendental (Q2356937) (← links)
- Basic formal properties of triangular norms and conorms (Q2407504) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- Developing complementary rough inclusion functions (Q2658816) (← links)
- On fuzzy negations generated by fuzzy implications (Q2658818) (← links)
- (Q2767933) (← links)
- Initial Comparison of Formal Approaches to Fuzzy and Rough Sets (Q2814146) (← links)
- Relational Formal Characterization of Rough Sets (Q2852183) (← links)
- (Q3075247) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- On Duplication in Mathematical Repositories (Q3582716) (← links)
- (Q4487299) (← links)
- Lattice Theory for Rough Sets – A Case Study with Mizar (Q4589200) (← links)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
- Efficient Rough Set Theory Merging (Q5259298) (← links)
- Mathematical Knowledge Management (Q5313053) (← links)
- Mathematical Knowledge Management (Q5313083) (← links)
- Automated Discovery of Properties of Rough Sets (Q5411648) (← links)
- Revisions as an Essential Tool to Maintain Mathematical Repositories (Q5428273) (← links)
- (Q5701521) (← links)
- Types for Proofs and Programs (Q5898177) (← links)