The OI-Resolution of Operator Rough Logic.

Published in: Rough Sets and Current Trends in Computing (1998)

Keyphrases

set theory
rough sets
modal operators
classical logic
modal logic
consequence finding
proof theory
high resolution
logic programming
database
logical framework
multi valued
deontic logic
epistemic logic
computational properties
automated reasoning
rough set theory
low resolution
artificial intelligence
data sets