1670 search results - page 25 / 334 » On Skolemization in constructive theories |
EUSFLAT
2007
13 years 8 months ago
2007
In this paper we generalize the well known construction of ”classic” measure theory to the fuzzy case. We consider such T-norm based classes of fuzzy sets as T-semirings and T...
ACS
2011
13 years 2 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
ADCM
2000
13 years 7 months ago
2000
We present a concrete method to build discrete biorthogonal systems such that the wavelet filters have any number of vanishing moments. Several algorithms are proposed to construct...
MLQ
2002
13 years 7 months ago
2002
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...
DAGSTUHL
2006
13 years 8 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...