3571 search results - page 9 / 715 » Cohen and Set Theory |
BSL
2007
14 years 11 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
JSYML
2006
14 years 11 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
105
click to vote
RSKT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
RSCTC
2004
Springer
15 years 5 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
AML
2005
14 years 11 months ago
2005
In this article we show how to use the result in J