3571 search results - page 9 / 715 » Cohen and Set Theory |
BSL
2007
13 years 7 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
13 years 7 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
RSKT
2009
Springer
14 years 2 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
14 years 25 days 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
13 years 7 months ago
2005
In this article we show how to use the result in J