The following pages link to (Q3976584):
Displaying 4 items.
- Axiomatization and completeness of uncountably valued approximation logic (Q1317906) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- Multiple granulation rough set approach to ordered information systems (Q2869777) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)