44 search results - page 1 / 9 » Heyting-valued interpretations for Constructive Set Theory |
FSS
2002
13 years 4 months ago
2002
We present a new and natural interpretation of fuzzy sets and fuzzy relations where the basic notions and operations have quite natural meanings. We interpret fuzzy sets and fuzzy...
JSYML
2006
13 years 4 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
APAL
2006
13 years 4 months ago
2006
APAL
2010
13 years 2 months ago
2010
The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...