Set Theory: The branch of mathematical logic that studies collections of objects, known as sets. Cardinal Function: A function that assigns a measure of size or cardinality to sets, particularly ...

We describe how we have formalized a practical finite set theory for ACL2. Our finite set theory ``book'' includes set equality, set membership, the subset relation, set manipulation functions such as ...

1.1 Set theory. A set, informally, is a collection of ... In MATH0007 however we are going to keep things simple - instead of giving a formal set-theoretic definition of a function, for example, we’ll ...

Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale {0,1} into the scale [0,1]. We discuss these extensions, ...

But even so, semantically (N -> 2) does not have “more” elements than N, surjections are inaccessible due to uncomputability. I take issue with your earlier statement that there are “as many functions ...

To justify the second (automatic) method, we show some similarities/parallels between intuitionistic fuzzy set theory and mass assignment theory -a well known tool for dealing with both probabilistic ...

We describe how we have formalized a practical finite set theory for ACL2. Our finite set theory ``book'' includes set equality, set membership, the subset relation, set manipulation functions such as ...