Abstract | ||
---|---|---|
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 S4---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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-03281-3_3 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
roughness theory,abstract approximation spaces,closure operation,algebraic semantic,categorical isomorphism,equational notion,particular model,tarski interior,equational definition,abstract approximation space,closure operators,stronger model,covering space,closure operator,modal logic,topological space | Discrete mathematics,Interpolation space,Closure operator,Topological space,Space (mathematics),Interior,Closure (topology),Topological tensor product,Mathematics,Algebraic interior | Journal |
Volume | ISSN | Citations |
10 | 0302-9743 | 19 |
PageRank | References | Authors |
0.83 | 26 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gianpiero Cattaneo | 1 | 566 | 58.22 |
Davide Ciucci | 2 | 672 | 53.74 |