2009 | OriginalPaper | Buchkapitel
Lattices with Interior and Closure Operators and Abstract Approximation Spaces
verfasst von : Gianpiero Cattaneo, Davide Ciucci
Erschienen in: Transactions on Rough Sets X
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The non–equational notion of abstract approximation space for roughness theory is introduced, and its relationship with the equational definition of lattice with Tarski interior and closure operations is studied. Their categorical isomorphism is proved, and the role of the Tarski interior and closure with an algebraic semantic of a
S
4–like model of modal logic is widely investigated.
A hierarchy of three particular models of this approach to roughness based on a concrete universe is described, listed from the stronger model to the weaker one: (1) the partition spaces, (2) the topological spaces by open basis, and (3) the covering spaces.