7289 search results - page 23 / 1458 » A Dependent Set Theory |
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
SLOGICA
2010
14 years 10 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...