Pages that link to "Item:Q4589200"
From MaRDI portal
The following pages link to Lattice Theory for Rough Sets – A Case Study with Mizar (Q4589200):
Displayed 8 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Formal introduction to fuzzy implications (Q1688751) (← 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)
- Developing complementary rough inclusion functions (Q2658816) (← links)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)