Searching for "Extended Set Theory." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Dealing with Infinite Intensional Sets in CLP
- … with respect to a theory that extends the set theory Set by the addition of two new axioms for characterizing…
- Cited by 2 (1 self) – Add To MetaCart
-
Constructive and algebraic methods of the theory of rough sets
- … [44,46]. The theory of rough sets extends set theory in the same way that modal logic extends…
- Cited by 10 (3 self) – Add To MetaCart
-
On Relating Type Theories and Set Theories
- … and Rathjen 96], extends to the other set theories, giving reductions to the corresponding type theories…
- Cited by 13 (1 self) – Add To MetaCart
-
Experiments in Formalizing Basic Category Theory in Higher Order Logic and Set Theory
- … reformalization of some category theory concepts in Section 4.2. 4.1 ZF Set Theory in HOL HOL is extended…
- Cited by 1 (1 self) – Add To MetaCart
-
Set Operations in Object-Based Data Models
- … in set theory -- union, intersection, difference, and symmetric difference. Our approach is to extend set…
- Cited by 6 (3 self) – Add To MetaCart
-
A comparison of HOL-ST and Isabelle/ZF
- … implemented by extending the existing HOL system [4] with axioms of ZF set theory (this is not a conservative…
- Cited by 3 (3 self) – Add To MetaCart
-
Composing Hidden Information Modules over Inclusive Institutions
- … that signature union comes from inclusive categories rather than the extended set theory used in [17]. In our…
- Cited by 10 (3 self) – Add To MetaCart
-
Composition of Modules with Hidden Information over Inclusive Institutions
- … that signature union comes from inclusive categories rather than the extended set theory used in [18]. In our…
- Add To MetaCart
-
A Type-Free Formalization of Mathematics Where Proofs Are Objects
- … of the justification must be recognized by an algorithm. 2 A variant of set theory We want to extend the language…
- Add To MetaCart
-
Formalising a Model of the lambda-calculus in HOL-ST
- … by the present author.) 2.1 Basic concepts HOL is extended with set theory by declaring a new type V and a new…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
