Information Sciences · 2004 · 57 citations · 9 references
Algebraic LogicEngineeringRough OperationsBoolean FunctionAutomated ReasoningFormal MethodsComputer ScienceRough Set
9
Zdzis aw Pawlak · International Journal of Parallel Programming · 1982 · 12K citations
A mathematical theory of evidence
Gian‐Carlo Rota · Advances in Mathematics · 1977 · 1.8K citations
Algebraic semantics for modal logics II
E. J. Lemmon · Journal of Symbolic Logic · 1966 · 198 citations