1805 search results - page 11 / 361 » A Theory of Closure Operators |
107
Voted
ENTCS
2002
15 years 3 months ago
2002
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
137
click to vote
DLT
2006
15 years 4 months ago
2006
Duplication is an operation generating a language from a single word by iterated application of rewriting rules u uu on factors. We extend this operation to entire languages and i...
107
click to vote
RSCTC
1998
Springer
15 years 7 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...
97
Voted
EUSFLAT
2007
15 years 4 months ago
2007
Two ways to approximate a proximity relation R (i.e. a reflexive and symmetric fuzzy relation) by a T-transitive one where T is a continuous archimedean t-norm are given. The fi...
237
click to vote
APAL
2011
14 years 10 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...