7289 search results - page 23 / 1458 » A Dependent Set Theory |
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 1 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
13 years 7 months ago
2005
In this article we show how to use the result in J
SLOGICA
2010
13 years 6 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...