The following pages link to On approximation logics: A survey (Q3976584):
Displaying 9 items.
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (Q1176175) (← links)
- 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)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- (Q3338210) (← links)
- (Q3783525) (← links)
- Kripke-type semantics of a logical system based on a finite ordered set (Q4511554) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)