3353 search results - page 37 / 671 » Laver and set theory |
CORR
1998
Springer
14 years 9 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we investigate consonant random sets from the point of view of lattice theory. We introduce a new definition of consonancy and study its relationship with possibili...
ENTCS
2008
14 years 9 months ago
2008
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
EUSFLAT
2003
14 years 11 months ago
2003
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...
EATCS
2000
14 years 9 months ago
2000
A sub-area of discrepancy theory that has received much attention in computer science recently, is that of explicit constructions of low-discrepancy point sets for various types o...