Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858814 | International Journal of Approximate Reasoning | 2018 | 26 Pages |
Abstract
The covering-based rough sets in the system C2 and bounded N-morphisms form a category CFN. This category is dually equivalent to the category KFS4 in which objects are Kripke S4-frames and arrows are bounded morphisms. Morphisms over covering structures are defined in order to characterize the modal C2-definability of classes of finite covering frames.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Minghui Ma, Mihir Kumar Chakraborty,