A nearsemilattice is a poset having the upper-bound property. A binary operation — on a poset with the least element 0 is said to be subtraction-like if x ≤ y if and only if x — y = 0 for all x, y. Associated with such an operation is a family of partial operations lp defined by lp(x) := p— x on every initial segment [0, p]; these operations are thought of as local (sectional) complementations of some kind. We study several types of subtraction-like operations, show that each of these operations can be restored in a uniform way from the corresponding local complementations, and state some connections between properties of a (sufficiently strong) subtraction on a nearsemilattice and distributivity of the latter.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Study of the so called knowledge ordering of rough sets was initiated by V.W. Marek and M. Truszczynski at the end of 90-ies. Under this ordering, the rough sets of a fixed approximation space form a domain in which every set ↓α is a Boolean algebra. In the paper, an additional operation inversion on rough set domains is introduced and an abstract axiomatic description of obtained algebras of rough set is given. It is shown that the resulting class of algebras is essentially different from those traditional in rough set theory: it is not definable, for instance, in the class of regular double Stone algebras, and conversely.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.