On Deductive Systems of AC Semantics for Rough Sets
arXiv:1610.02634v14 citations
Originality Synthesis-oriented
AI Analysis
This work is incremental, refining existing semantics for rough sets in mathematical logic.
The authors improved and studied antichain-based semantics for rough sets from an algebraic logic perspective, focusing on the structure of algebras and deductive systems.
Antichain based semantics for general rough sets were introduced recently by the present author. In her paper two different semantics, one for general rough sets and another for general approximation spaces over quasi-equivalence relations, were developed. These semantics are improved and studied further from a lateral algebraic logic perspective in this research. The main results concern the structure of the algebras and deductive systems in the context.