FIRST-ORDER ROUGH LOGIC I: APPROXIMATE REASONING VIA ROUGH SETS
Tzu-Yu Lin, Qing Liu · Fundamenta Informaticae · 1996
Earlier the authors have shown that rough sets can be characterized by six topological properties. In this paper, a new formal logic system based on such axioms is proposed. It will be called First-Order Logic for Rough Approximation or simply Rough