A Family of Finite De Morgan Algebras
|
|
- Rolf Stephens
- 5 years ago
- Views:
Transcription
1 A Family of Finite De Morgan Algebras Carol L Walker Department of Mathematical Sciences New Mexico State University Las Cruces, NM 88003, USA hardy@nmsuedu Elbert A Walker Department of Mathematical Sciences New Mexico State University Las Cruces, NM 88003, USA elbert@nmsuedu Abstract The algebra of truth values for fuzzy sets of type- 2 consists of all mappings from the unit interval [0; 1] into itself, with operations certain convolutions of these mappings with respect to pointwise max and min This algebra has been studied rather extensively in the last few years, both from an applications point of view and a theoretical one Most of the theory goes through when [0; 1] is replaced by any two nite chains, in which case interesting nite algebras arise De Morgan algebras and Kleene algebras in particular and a basic question is just where these algebras t into the world of all such nite algebras We investigate one particularly interesting family of such De Morgan algebras Keywords nite De Morgan algebra; type-2 fuzzy sets I INTRODUCTION The basic mathematical object underlying the theory of fuzzy sets of type-2 is an algebra, called the algebra of truth values for fuzzy sets of type-2 This algebra has been studied quite extensively since its introduction by Zadeh [15] in 1975 A number of such papers are listed in the references at the end Its elements are all mappings [0; 1] [0;1] from the set [0; 1] to the set [0; 1] with operations certain convolutions of these functions The basic algebraic theory depends only on the fact that [0; 1] is a complete chain, so lends itself to various generalizations Our interest in this paper is in the special case where each of the two copies of [0; 1] is replaced by a nite chain That is, if m and n are nite chains, the set of elements of the algebra is m n, all mappings of n into m With operations we describe below, we have a nite algebra with basically the same algebraic properties as the algebra of truth values of fuzzy sets of type-2 One particular subalgebra consists of those elements that are convex and normal, as dened below This subalgebra contains subalgebras analogous to the truth value algebra of type 1 and of interval-valued fuzzy sets, which are respectively, Kleene and De Morgan It is a characteristic subalgebra and enjoys other special properties as well Due to space limitations, we conne our attention to this De Morgan subalgebra of convex, normal functions Thus, for any two nite chains, we have a nite De Morgan algebra, and we ask where these special algebras t into the world of all such nite algebras and what are their special properties Our principal result is the characterization of the De Morgan algebras as those whose poset of join irreducible elements has a particularly simple structure This leads to the determination of the automorphism groups of these algebras Our basic tool is an alternate representation of these algebras, making their operations much more intuitive In Section II we give a brief overview of some properties of the algebra of truth values for fuzzy sets of type-2 In Section III, we translate these properties to properties of nite type-2 algebras Then in Section IV, we develop three other representations of these algebras, leading eventually to an intuitive representation In Section V, we determine the size of the algebras in question, and in Section VI, we consider more general classes of De Morgan algebras, suggested by the previous work This leads to the determination in Section VI of the automorphism groups of the De Morgan algebras The setting for type-2 fuzzy sets, as proposed by Zadeh [15], generalized that of both type-1 and interval-valued fuzzy sets The references at the end of this paper contain many additional citations II TYPE-2 FUZZY SETS Following are the and, or and not operations dened by Zadeh [15] for type-2 fuzzy sets Denition 1: On [0; 1] [0;1], let (f t g) (x) = sup ff (y) ^ g (z) : y _ z = xg (f u g) (x) = sup ff (y) ^ g (z) : y ^ z = xg :f(x) = sup ff (y) : y = 1 xg = f(1 x) 1 if x = 1 1 if x = 0 1 (x) = 0 if x 6= 1, 0 (x) = 0 if x 6= 0 Denition 2: The algebra of truth values for type-2 fuzzy sets is M = ( [0; 1] [0;1] ; t; u; :;0; 1) Determining the properties of the algebra M is helped by introducing the following auxiliary operations Denition 3: For f 2 M, let f L and f R be the elements of M dened by f L (x) = sup ff(y) : y xg f R (x) = sup ff(y) : y xg The point of this denition is that the or and and operations t and u of M can be expressed in terms of the pointwise max and min of functions, as follows /09/$ IEEE
2 Theorem 4: The following hold for all f; g 2 M f t g = f ^ g L _ f L ^ g = (f _ g) ^ f L ^ g L f u g = f ^ g R _ f R ^ g = (f _ g) ^ f R ^ g R Introducing the operations L and R and using them in this general situation to express other operations in terms of pointwise ones, as in the theorem above, appears in many papers, for example in [7], [9] Using these auxiliary operations, it is fairly routine to verify the following properties of the algebra M The details of the proofs are in [9] Corollary 5: Let f, g, h 2 M The basic properties of M follow 1) f t f = f; f u f = f 2) f t g = g t f; f u g = g u f 3) 1 u f = f; 0 t f = f 4) f t (g t h) = (f t g) t h; f u (g u h) = (f u g) u h 5) f t (f u g) = f u (f t g) 6) ::f = f; : (f t g) = :f u :g; : (f u g) = :f t :g Notice that this list does not include the absorption laws or the distributive laws The algebra M is, in general, not a lattice However, M contains a host of subalgebras of interest, some of which are lattices In particular, it contains copies of the truth value algebras of type-1 fuzzy sets and of intervalvalued fuzzy sets We refer the reader to [9],[10],[11] for those and other details about M, and proceed directly to the subalgebras that motivated this paper Denition 6: An element f of M is normal if supff(x) : x 2 [0; 1]g = 1 Proposition 7: The normal functions form a subalgebra N of M: Denition 8: An element f of M is convex if for x y z, f(y) f(x) ^ f(z) Equivalently, f is convex if f = f L ^ f R Proposition 9: The convex functions form a subalgebra C of M: Theorem 10: The subalgebra D = C \ N is a De Morgan algebra, and is a maximal lattice in M Again, the proofs of the propositions above are in [9] The basic theory goes through when [0; 1] is replaced by any two nite chains In that case, D is a nite De Morgan algebra So any two nite chains give rise to a nite De Morgan algebra This family of nite algebras is the subject of this paper III FINITE TYPE-2 ALGEBRAS Here we introduce some notation and translate some pertinent results from the previous section to the nite case For a positive integer k, let k be the linearly ordered set with k elements As indicated, the basic theory above goes through if [0; 1] [0;1] is replaced by m n : We denote this algebra by M(m n ) and its elements by n-tuples (a 1 ; : : : ; a n ) where a i 2 f1; 2; :::; mg: In particular, the convex normal functions form a De Morgan algebra (a distributive lattice with negation satisfying the De Morgan laws) This De Morgan algebra is denoted D(m n ) For a n-tuple to be normal requires that it contains m as an entry, and for a normal n-tuple to be convex requires that it be increasing until the rst entry that is m, and be decreasing after that (Increasing means non-decreasing, and similarly for decreasing) The negation on n-tuples comes from the negation n! n given by i 0 = n i + 1 Thus :(a 1 ; a 2 ; : : : ; a n ) = (a 1 0; a 2 0; : : : ; a n 0) = (a n ; a n 1 ; : : : ; a 1 ) The lattice operations t and u are given by the formulas in Theorem 4 The tables below give the elements of some of these algebras for small m and n D(2 2 ) D(3 2 ) D(4 2 ) (1; 4) (1; 2) (1; 3) (2; 4) (2; 2) (2; 3) (3; 4) (2; 1) (3; 3) (4; 4) (3; 2) (4; 3) (3; 1) (4; 2) (4; 1) For n = 2, note that the algebras D(m n ) are chains of length 2m 1 Below are two examples for m = 2 (We omit the parentheses and commas from here on to preserve space) D D In Section V, we will develop formulas for the size of D(m n ): IV OTHER REPRESENTATIONS OF D(m n ) One problem in investigating the De Morgan algebra D(m n ) is that the partial order given by the lattice operations t and u is not the coordinate-wise partial order on the n- tuples To see this, just note that the identities of D(m n ) are
3 coordinate-wise incomparable For example, in D(3 3 ), those identities are 1 = (1; 1; 3) and 0 = (3; 1; 1) We now give another representation of the bounded lattice D(m n ) as n- tuples in which the partial order is coordinate-wise Denition 11: D 1 (m n ) is the algebra whose elements are decreasing n-tuples of elements from f1; 2; : : : ; 2m 1g which include m, and whose operations are given by pointwise max and min on these n-tuples, negation :(b 1 ; b 2 ; :::; b n ) = (2m b 1 ; 2m b 2 ; :::; 2m b n ); and the constants 1 = (2m 1; : : : ; 2m 1; m) and 0 = (m; 1; : : : ; 1) The proof of the following theorem is routine Theorem 12: D 1 (m n ) is a De Morgan algebra Theorem 13: The De Morgan algebras D(m n ) and D 1 (m n ) are isomorphic Proof: For a = (a 1 ; a 2 ; : : : ; a n ) 2 D(m n ), let i be the smallest index i for which a i = m For j < i, replace a j by 2m a j We get the n-tuple '(a) = (2m a 1; 2m a 2 ; : : : ; 2m a i 1 ; a i ; a i+1 ; : : : ; a n) It is easy to see that ' is a one-to-one mapping of D(m n ) onto D 1 (m n ) For an n-tuple a, we write a i for its i-th component For an n-tuple a, the balance point of a is the smallest index i such that a i = m Suppose the balance point of a and b are greater than j Then Thus (a t b) j = (a j _ b j ) ^ (_ ij a i ) ^ (_b ii ) = (a j _ b j ) ^ a j ^ b j = a j ^ b j ('(a t b)) j = 2m (a j ^ b j ) ('(a)) j _ ('(b)) j = (2m a j ) _ (2m b j ) = 2m (a j ^ b j ) Suppose the balance point of b is j and the balance point of a is j Then Thus (a t b) j = (a j _ b j ) ^ (_ ij a i ) ^ (_b ii ) = (a j _ b j ) ^ a j ^ m = a j ('(a t b)) j = 2m a j ('(a)) j _ ('(b)) j = (2m a j ) _ b j = 2m a j The last equality holds because a j and b j are m The other calculations to show that '(a t b) = '(a) _ '(b) are similar Likewise, that '(a u b) = '(a) ^ '(b) is routine The constants are obviously preserved, and a straightforward but tedious calculation shows the : is preserved 1 We make a slight simplication For each n-tuple in D 1 (m n ), remove the entry with the smallest index that is equal to m This yields all decreasing (n 1)-tuples from f1; 2; : : : ; 2m 1g; which we denote by D 2 (m n ) With pointwise operations of max and min and negation :(b 1 ; b 2 ; : : : ; b n 1 ) = (2m b n 1 ; 2m b n 2 ; : : : ; 2m 1 This representation was suggested by Professor John Harding b 2 ; 2m b 1 ), this makes D 2 (m n ) into a De Morgan algebra isomorphic to D 1 (m n ) Of course D 2 (m n ) is the set of all decreasing maps from n 1 into 2m 1 In any case, as De Morgan algebras we have D(m n ) D 1 (m n ) D 2 (m n ) V THE CARDINALITY OF D(m n ) To determine the size of D(m n ), it is easiest to use the representation D 2 (m n ), which is the set of decreasing n 1 tuples from f1; 2; : : : ; 2m 1g To simplify notation in the calculation, we prove the following proposition Proposition 14: The number of decreasing a-tuples from ((i 1)+a)! f1; 2; : : : ; ig is (i 1)!a! Proof: Induct on a For a = 1, the number is obviously i, and ((i 1)+a)!=(i 1)!a! = i Assume a > 1 and the formula holds for tuples of length a 1 The number of decreasing a-tuples from f1; 2; : : : ; ig ending with 1 is the number of decreasing a 1-tuples from f1; 2; : : : ; ig The number of decreasing a-tuples from f1; 2; : : : ; ig ending with 2 is the number of decreasing a 1-tuples from f2; 3; : : : ; ig, and so on Finally, the number of decreasing a-tuples from f1; 2; : : : ; ig ending with i is the number of decreasing a 1-tuples from fig The sum of these numbers, using ((i 1)+(a 1))! ((i 2)+(a 1))! induction on a is (i 1)!(a 1)! + (i 2)!(a 1)! + + ((i i)+(a 1))! (i i)!(a 1)! which, by a well-known combinatorial formula, or by an easy induction on i, is ((i 1)+a)! (i 1)!a! (2m 2+n 1)! (2m 2)!(n 1)! Theorem 15: jd(m n )j = Proof: Letting i = 2m 1 and a = n 1 in the previous proposition yields the desired result (2m 2+n 1)! Now (2m 2)!(n 1)! is the number of subsets of f1; 2; : : : ; 2m 2 + n 1g of size n 1 This is the same as the number of strictly decreasing n 1 tuples from f1; 2; : : : ; 2m 2 + n 1g This is yet another representation of the elements of D(m n ), but do the lattice operations correspond to pointwise max and min? Denition 16: D 3 (m n ) is the algebra whose elements are the n 1 tuples of strictly decreasing sequences from f1; 2; : : : ; 2m 2 + n 1g with operations pointwise max and min the obvious constants, and :(a 1 ; a 2 ; : : : ; a n 1 ) = (2m 2 + n a n 1 ; : : : ; 2m 2 + n a 1 ) Theorem 17: D 2 (m n ) D 3 (m n ) Proof: The mapping D 2 (m n )! D 3 (m n ) given by (a 1 ; a 2 ; : : : ; a n 1 ) 7! (a 1 + (n 2); a 2 + (n 3); : : : ; a n 2 + 1; a n 1 ) is rather obviously a lattice isomorphism The proof that : is preserved is straightforward though a bit tedious We now have four representations: 1) D(m n ), the normal convex functions of n-tuples from f1; 2; : : : ; mg, 2) D 1 (m n ), the decreasing n-tuples of elements from f1; 2; : : : ; 2m 1g, that have m as an entry, 3) D 2 (m n ), the decreasing (n 1)-tuples of elements from f1; 2; : : : ; 2m 1g,
4 4) D 3 (m n ), the strictly decreasing (n 1)-tuples of elements from f1; 2; : : : ; (2m 2) + (n 1)g In the last three representations, the lattice operations are pointwise, and the negations are as indicated earlier We will not use representation 4, but just note that it came about from the combinatorial result in Theorem 15 To illustrate, below we show each representation for m = 2, n = 3 D D D D There is difculty in depicting such lattices as those above for larger m and n because of the following Proposition 18: The De Morgan algebras D 1 (m n ) are not planar if m 4 and n 3 Proof: A nite distributive lattice is planar if and only if no element has 3 covers ([1] page 90, problem 45) For example, in D 1 (4 3 ) the 3 tuple (3; 2; 1) has covers (4; 2; 1),(3; 3; 1), and (3; 2; 2) VI THE DE MORGAN ALGEBRAS H(m n ) In the algebra D 2 (m n ), the tuples can be of any positive integer length, but entries must come from a set with an odd number of elements, namely f1; 2; : : : ; 2m 1g This suggests considering a more general class, namely the one in the following denition Denition 19: For positive integers m and n, let H(m n ) be the algebra of all decreasing n-tuples from f1; 2; : : : ; mg, with pointwise operations _ and ^ of max and min, with negation :(a 1 ; a 2 ; : : : ; a n ) = (m + 1 a n ; m + 1 a n 1 ; : : : ; m + 1 a 2 ; m + 1 a 1 ) and the obvious constants It is easy to see that H(m n ) is a De Morgan algebra Actually, H(m n ) is the set of all anti-homomorphisms from the poset n to the poset m It should also be clear that the De Morgan algebras D 2 (m n ) and H((2m 1) n 1 ) are the same Thus the De Morgan algebras D 2 (m n ), and of course our original algebras D(m n ); are special cases of the algebras H(m n ) So, we now investigate the larger family H(m n ) of nite De Morgan algebras The diagrams below illustrate some features of these algebras Note that H 3 2 has a non-trivial automorphism, and H 4 2 and H 3 3 are isomorphic and have no non-trivial automorphisms So these algebras may or may not have non-trivial automorphisms, and H(m n ) may be isomorphic to H(p q ) with m 6= p and n 6= q: H j 32 j 11 H H From Proposition 14, we get Theorem 20: jh(m n )j = ((m 1)+n)! (m 1)!n! Note that jh(m n )j = H((n + 1) m 1 ) We will see the signicance of this in Theorem 24 The De Morgan algebra H(m n ) is in particular a nite distributive lattice The set of join irreducible elements of a lattice is a poset under the induced order The point here is that nite distributive lattices and nite posets are equivalent categories, with maps in each case being order preserving ones A nite distributive lattice corresponds to its poset of non-zero join irreducible elements under the induced order, and a nite poset to the lattice of its downsets with order given by set inclusion The details may be found in [1] We determine now the poset of join irreducible elements of H(m n ): Denition : An element a in a lattice is join irreducible if a = b _ c implies that a = b or a = c Denition 22: For 1 i n 1, an n-tuple in H(m n ) has a jump at i if its i + 1 entry is strictly less than its i th entry It has a jump at n if the n th entry is at least 2 For example, the 5-tuple (5; 5; 5; 3; 1) has jumps at 3 and 4, the 6-tuple (8; 7; 2; 2; 2; 2) has jumps at 1 and 2 and 6, and the 6-tuple (5; 5; 5; 5; 1; 1) has a jump at 4 The only n-tuple
5 with no jumps is (1; 1; : : : ; 1), the zero of the lattice H(m n ) Theorem 23: The non-zero join irreducibles of H(m n ) are those n tuples with exactly one jump Proof: Let i < j and (a 1 ; a 2 ; : : : ; a n ) have a jump at i and at j Then (a 1 ; a 2 ; : : : ; a i ; a i+1 ; : : : ; a j ; a j+1 ; : : : ; a n ) = (a 1 ; a 2 ; :::; a i 1; a i+1 ; :::; a j ; a j+1 ; :::; a n ) _(a 1 ; a 2 ; :::; a i ; a i+1 ; :::; a j 1; a j+1 ; :::; a n ) Note that j may be n Therefore a join irreducible can have at most one jump It is not hard to see that if a decreasing n tuple has exactly one jump, it cannot be the join of two such pointwise smaller n tuples Since the only element with no jumps is the n-tuple (1; 1; : : : ; 1), the non-zero join irreducible elements of H(m n ) are of the form (a; a; : : : ; a; 1; 1; : : : ; 1), with a > 1 and at least one a in the tuple Thus with each non-zero join irreducible, there is associated a pair of integers, the integer a and the index of the last a For example, we have the following associations (5; 5; 1; 1; 1)! (5; 2) (5; 5; 5; 5; 5)! (5; 5) This association gets a map from the non-zero join irreducibles of H(m n ) to the poset (m 1)n: (Here, we are associating the poset f2; 3; : : : ; mg with the poset m 1) This is rather obviously a one-to-one mapping of the non-zero join irreducibles of H(m n ) onto the poset (m 1)n, and preserves component-wise order Thus we have the following Theorem 24: The poset JIH(m n ) of non-zero join irreducibles of H(m n ) is isomorphic to the poset (m 1) n: (Note that the poset (m 1) n is actually a bounded distributive lattice) The diagrams below illustrate this theorem JIH JIH JIH JIH JIH Because of the categorical equivalence of nite distributive lattices and nite posets, with a nite distributive lattice corresponding to its poset of non-zero join irreducible elements, the lattice H(m n ) is isomorphic to the lattice H(p q ) if and only if the posets (m 1) n and (p 1) q are isomorphic Further, it is clear that the poset (m 1) n has only the trivial automorphism unless m 1 = n; in which case it has exactly two automorphisms Thus the lattice H(m n ) has only the trivial automorphism unless m 1 = n; in which case it has exactly two automorphisms, its poset of non-zero join irreducibles being the poset n n: Thus we get the following corollaries Corollary 25: The lattices H(m n ) and H(p q ) are isomorphic if and only if m = p and n = q, or m 1 = q and p 1 = n Corollary 26: The automorphism group Aut(H(m n )) of the lattice H(m n ) has only one element unless m 1 = n, in which case it has exactly two elements Corollary 27: The automorphism group Aut(D(m n )) of the lattice D(m n ) has only one element unless 2m 1 = n 1, in which case it has exactly two elements If m 1 6= n; then the lattice H(m n ) has only the trivial automorphism, hence so does H(m n ) as a De Morgan algebra If 2m 1 6= n 1; the analogous statement holds for D(m n ): However, if m 1 = n, H(m n ) as a lattice has two automorphisms, and the question is whether or not the non-trivial lattice automorphism is also a De Morgan automorphism Theorem 28: Lattice automorphisms of H(m n ) are De Morgan automorphisms of H(m n ): Proof: If m 1 6= n; then H(m n ) has only the trivial lattice automorphism, hence only the trivial De Morgan automorphism If m 1 = n; H(m n ) has one non-trivial automorphism Denote this automorphism by ; and let be
6 any negation of H(m n ): Now is an automorphism, so is the identity automorphism 1; or is :If = ; then since is or order two, = 1; whence = ; an impossibility So = 1; and multiplying on the right by and then by yields = : That is, commutes with ; so is a De Morgan automorphism We now examine the lattice isomorphisms from H(m n ) to H( (n + 1) m 1 ) If m 1 6= n; then each has only the trivial automorphism, so there is only one lattice isomorphism from H(m n ) to H( (n + 1) m 1 ) Of course it is the one given by the isomorphism of the posets (m 1) n and n (m 1) of non-zero join irreducibles of H(m n ) and H( (n + 1) m 1 ); respectively Since H(m n ) is De Morgan, its negation and the lattice isomorphism induce a negation on H( (n + 1) m 1 ), and is a De Morgan isomorphism But H( (n + 1) m 1 ) has only one negation since the product of two different negations would be a non-trivial automorphism of H( (n + 1) m 1 ): Therefore, is a De Morgan isomorphism We have Theorem 29: If m 1 6= n; then there is exactly one lattice isomorphism H(m n )! H( (n + 1) m 1 ); and it is a De Morgan isomorphism If m 1 = n; then H(m n ) = H( (n + 1) m 1 ); and by Corollary 26 and Theorem 28 H(m n ) has exactly one non-trivial lattice automorphism, and it is a De Morgan automorphism Since the poset of non-zero join irreducibles of H(m n ) is the lattice (m 1) n, this lattice is in turn determined by its poset of non-zero join irreducibles That poset is simply the disjoint chains m 2 and n 1 This again shows, for example that the automorphism group of H(m n ) has exactly one element unless m 2 = n 1, in which case it has exactly two automorphisms It is not true that jh(m n )j determines H(m n ) That is, it can happen that jh(m n )j = jh(p q )j without the two being isomorphic lattices For example H(8 3 ) = H(15 2 ) = 120, yet the criteria of Corollary 25 are not met VII SOME TABLES OF CARDINALITIES There are many, many combinatorial identities between the various entities above For example H(m 7 ) = H((m 1) 7 ) + H(m 6 ) This is not surprising since jh(m n )j is a binomial coefcient Below are some tables of sizes of various of these algebras These computations come directly from Theorem 20 m H(m 2 ) H(m 3 ) H(m 4 ) m H(m 5 ) H(m 6 ) H(m 7 ) VIII COMMENTS Finite truth value algebras may be of some interest in fuzzy theory, in particular the algebra M (m n ) We have limited our discussion to the particular subalgebra D (m n ) of M (m n ) because of its very special properties The algebra D (m n ) contains special Kleene subalgebras (De Morgan algebras satisfying the Kleene inequality x^:x y _:y), but we have not characterized them in the same sense that we have the De Morgan algebras D (m n ) It may be of some interest to characterize the nite analogues of the truth value algebras of type-1 and interval-valued fuzzy sets, which are, respectively, Kleene and De Morgan REFERENCES [1] Grätzer, G, General Lattice Theory, Birkhauser, Boston, 1998 [2] John, R, Type-2 fuzzy sets: An appraisal of theory and applications Int J Uncertainty, Fuzziness Knowledge-Based Systems 6 (6) (1998) [3] Karnik, N and Mendel, J, Operations on type-2 fuzzy sets, Fuzzy Sets and Systems, 122 (2001) [4] Mendel, J and John, R, Type-2 Fuzzy Sets Made Simple, IEEE Transactions on Fuzzy Systems, vol 10, No 2, , April 2002 [5] Mizumoto, M and Tanaka, K, Some Properties of Fuzzy Sets of Type-2, Information and Control 31, (1976) [6] Mizumoto, M and Tanaka, K, Fuzzy sets of type-2 under algebraic product and algebraic sum, Fuzzy Sets and Systems 5 (1981) [7] Emoto, M and Mukaidono, M, Necessary and Sufcient Conditions for fuzzy Truth Values to Form a De Morgan Algebra, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7(4) (1999) [8] Nieminen, J, On the Algebraic Structure of Fuzzy Sets of Type 2, Kybernetika, 13, (1977) [9] Walker, C and Walker, E, The Algebra of Fuzzy Truth Values, Fuzzy Sets and Systems, 149 (2005) [10] Walker, C, and Walker, E, Automorphisms of Algebras of Fuzzy Truth Values, International Journal of Uncertainty, Fuzziness and Knowledgebased Systems, 14(6) (2006) [11] Walker, C, and Walker, E, Automorphisms of Algebras of Fuzzy Truth Values II, International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 16(5) (2008) [12] Walker, C and Walker, E, Sets With Type-2 Operations, International Journal of Approximate Reasoning (2008), doi:101016/jijar [13] Walker, C and Walker, E, Points With Type-2 Operations, Proceedings of the IFSA Conference, Cancun, June 2007, [14] Walker, C and Walker, E, Type-2 Intervals of Constant Height, Proceedings of the NAFIPS Conference, San Diego, June 2007, [15] Zadeh, L, The concept of a linguistic variable and its application to approximate reasoning, Inform Sci 8 (1975)
The Algebra of Fuzzy Truth Values
The Algebra of Fuzzy Truth Values Carol L. Walker and Elbert A. Walker New Mexico State University Department of Mathematical Sciences Las Cruces, NM 88003, USA Abstract The purpose of this paper is to
More informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationStipulations, multivalued logic, and De Morgan algebras
Stipulations, multivalued logic, and De Morgan algebras J. Berman and W. J. Blok Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago Chicago, IL 60607 U.S.A. Dedicated
More informationSIMPLICIAL COMPLEXES WITH LATTICE STRUCTURES GEORGE M. BERGMAN
This is the final preprint version of a paper which appeared at Algebraic & Geometric Topology 17 (2017) 439-486. The published version is accessible to subscribers at http://dx.doi.org/10.2140/agt.2017.17.439
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationMultiplicative Conjunction and an Algebraic. Meaning of Contraction and Weakening. A. Avron. School of Mathematical Sciences
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening A. Avron School of Mathematical Sciences Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv 69978, Israel Abstract
More informationClass Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21
Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon
More informationStone Algebra Extensions with Bounded Dense Set
tone Algebra Extensions with Bounded Dense et Mai Gehrke, Carol Walker, and Elbert Walker Department of Mathematical ciences New Mexico tate University Las Cruces, New Mexico 88003 Abstract tone algebras
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationSUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE
SUBALGEBRAS AND HOMOMORPHIC IMAGES OF THE RIEGER-NISHIMURA LATTICE Guram Bezhanishvili and Revaz Grigolia Abstract In this note we characterize all subalgebras and homomorphic images of the free cyclic
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationRanking Score Vectors of Tournaments
Utah State University DigitalCommons@USU All Graduate Plan B and other Reports Graduate Studies 5-2011 Ranking Score Vectors of Tournaments Sebrina Ruth Cropper Utah State University Follow this and additional
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationStochastic dominance with imprecise information
Stochastic dominance with imprecise information Ignacio Montes, Enrique Miranda, Susana Montes University of Oviedo, Dep. of Statistics and Operations Research. Abstract Stochastic dominance, which is
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationBOOLEAN SUBALGEBRAS OF ORTHOALGEBRAS
OOLEAN SUALGERAS OF ORTHOALGERAS JOHN HARDING, CHRIS HEUNEN, AND MIRKO NAVARA Abstract. Earlier work had shown that every nontrivial orthomodular lattice is characterized by its poset of oolean subalgebras
More informationarxiv:math/ v1 [math.gm] 21 Jan 2005
arxiv:math/0501341v1 [math.gm] 21 Jan 2005 SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, I. THE MAIN REPRESENTATION THEOREM MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P,
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationExercise: Consider the poset of subsets of {0, 1, 2} ordered under inclusion: Date: July 15, 2015.
07-13-2015 Contents 1. Dimension 1 2. The Mayer-Vietoris Sequence 3 2.1. Suspension and Spheres 4 2.2. Direct Sums 4 2.3. Constuction of the Mayer-Vietoris Sequence 6 2.4. A Sample Calculation 7 As we
More informationMonoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
More informationIterating Conditionals and Symmetric Stone Algebras
Iterating Conditionals and Symmetric Stone Algebras Mai Gehrke and Elbert Walker Department of Mathematical Sciences New Mexico State University Las Cruces, New Mexico 88003 Abstract In the spirit of constructing
More informationwhere c R and the content of f is one. 1
9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.
More informationNOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES
NOTES ON PLANAR SEMIMODULAR LATTICES. IV. THE SIZE OF A MINIMAL CONGRUENCE LATTICE REPRESENTATION WITH RECTANGULAR LATTICES G. GRÄTZER AND E. KNAPP Abstract. Let D be a finite distributive lattice with
More informationAnalysis on Graphs. Alexander Grigoryan Lecture Notes. University of Bielefeld, WS 2011/12
Analysis on Graphs Alexander Grigoryan Lecture Notes University of Bielefeld, WS 0/ Contents The Laplace operator on graphs 5. The notion of a graph............................. 5. Cayley graphs..................................
More informationFinite pseudocomplemented lattices: The spectra and the Glivenko congruence
Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationOn some properties of elementary derivations in dimension six
Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationif and only if t ;; (A) t ;; (B), t ;+ (A) t ;+ (B), t +; (A) t ++ (B), and t ++ (A) t ++ (B). To make a description more adequate, we can perform one
Intervals (Pairs of Fuzzy Values), Triples, etc.: Can We Thus Get an Arbitrary Ordering? Vladik Kreinovich Computer Science, University of Texas, El Paso, TX 79968, USA, vladik@cs.utep.edu Masao Mukaidono
More information1 Introduction 1.1 Traditional fuzzy logic and its drawbacks Traditional fuzzy uses real numbers as truth values. If we use the simplest possible &-op
From Fuzzy Values To Intuitionistic Fuzzy Values To Intuitionistic Fuzzy Intervals etc.: Can We Get an Arbitrary Ordering? Vladik Kreinovich 1, Masao Mukaidono 2, and Krassimir Atanassov 3 1 Department
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationCongruence Coherent Symmetric Extended de Morgan Algebras
T.S. Blyth Jie Fang Congruence Coherent Symmetric Extended de Morgan Algebras Abstract. An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence
More informationON k-subspaces OF L-VECTOR-SPACES. George M. Bergman
ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with
More informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationOn the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras
On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras Peter Freyd pjf@upenn.edu July 17, 2017 The theory of Heyting Semi-Lattices, hsls for short, is obtained by adding to the theory
More informationarxiv:math/ v1 [math.co] 10 Nov 1998
A self-dual poset on objects counted by the Catalan numbers arxiv:math/9811067v1 [math.co] 10 Nov 1998 Miklós Bóna School of Mathematics Institute for Advanced Study Princeton, NJ 08540 April 11, 2017
More informationFaithful embedding on finite orders classes
Faithful embedding on finite orders classes Alain Guillet Jimmy Leblet Jean-Xavier Rampon Abstract We investigate, in the particular case of finite orders classes, the notion of faithful embedding among
More informationAppendix A. Definitions for Ordered Sets. The appendices contain all the formal definitions, propositions and proofs for
161 Appendix A Definitions for Ordered Sets The appendices contain all the formal definitions, propositions and proofs for developing a model of the display process based on lattices. Here we list some
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationDISTRIBUTIVE LATTICES ON GRAPH ORIENTATIONS
DISTRIBUTIVE LATTICES ON GRAPH ORIENTATIONS KOLJA B. KNAUER ABSTRACT. Propp gave a construction method for distributive lattices on a class of orientations of a graph called c-orientations. Given a distributive
More informationClearly C B, for every C Q. Suppose that we may find v 1, v 2,..., v n
10. Algebraic closure Definition 10.1. Let K be a field. The algebraic closure of K, denoted K, is an algebraic field extension L/K such that every polynomial in K[x] splits in L. We say that K is algebraically
More informationEquality of P-partition Generating Functions
Bucknell University Bucknell Digital Commons Honors Theses Student Theses 2011 Equality of P-partition Generating Functions Ryan Ward Bucknell University Follow this and additional works at: https://digitalcommons.bucknell.edu/honors_theses
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More information2 logic, such as those for resolution and hyperresolution. A number of recent developments serve as the motivation for the current paper. In [2, 3], i
Sequents, Frames, and Completeness Thierry Coquand 1 and Guo-Qiang Zhang 2?? 1 Department of Computer Science, University of Goteborg S 412 96, Goteborg, Sweden coquand@cs.chalmers.se 2 Department of Computer
More informationAlgebraic Cryptography Exam 2 Review
Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:
More informationTutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement
Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T
More informationarxiv: v2 [math.lo] 25 Jul 2017
Luca Carai and Silvio Ghilardi arxiv:1702.08352v2 [math.lo] 25 Jul 2017 Università degli Studi di Milano, Milano, Italy luca.carai@studenti.unimi.it silvio.ghilardi@unimi.it July 26, 2017 Abstract The
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationGALOIS THEORY I (Supplement to Chapter 4)
GALOIS THEORY I (Supplement to Chapter 4) 1 Automorphisms of Fields Lemma 1 Let F be a eld. The set of automorphisms of F; Aut (F ) ; forms a group (under composition of functions). De nition 2 Let F be
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More information3.5 Solving Equations Involving Integers II
208 CHAPTER 3. THE FUNDAMENTALS OF ALGEBRA 3.5 Solving Equations Involving Integers II We return to solving equations involving integers, only this time the equations will be a bit more advanced, requiring
More informationSpanning and Independence Properties of Finite Frames
Chapter 1 Spanning and Independence Properties of Finite Frames Peter G. Casazza and Darrin Speegle Abstract The fundamental notion of frame theory is redundancy. It is this property which makes frames
More informationThe cocycle lattice of binary matroids
Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationImplicational classes ofde Morgan Boolean algebras
Discrete Mathematics 232 (2001) 59 66 www.elsevier.com/locate/disc Implicational classes ofde Morgan Boolean algebras Alexej P. Pynko Department of Digital Automata Theory, V.M. Glushkov Institute of Cybernetics,
More informationCriteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman
Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationChapter 1. Logic and Proof
Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known
More informationGEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS
GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions
More informationApproximation Metrics for Discrete and Continuous Systems
University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science May 2007 Approximation Metrics for Discrete Continuous Systems Antoine Girard University
More informationProblem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
More informationA strongly rigid binary relation
A strongly rigid binary relation Anne Fearnley 8 November 1994 Abstract A binary relation ρ on a set U is strongly rigid if every universal algebra on U such that ρ is a subuniverse of its square is trivial.
More informationMathematical Induction
Chapter 6 Mathematical Induction 6.1 The Process of Mathematical Induction 6.1.1 Motivating Mathematical Induction Consider the sum of the first several odd integers. produce the following: 1 = 1 1 + 3
More informationIntersection and union of type-2 fuzzy sets and connection to (α 1, α 2 )-double cuts
EUSFLAT-LFA 2 July 2 Aix-les-Bains, France Intersection and union of type-2 fuzzy sets and connection to (α, α 2 )-double cuts Zdenko Takáč Institute of Information Engineering, Automation and Mathematics
More informationMAT 473 Intermediate Real Analysis II
MAT 473 Intermediate Real Analysis II John Quigg Spring 2009 revised February 5, 2009 Derivatives Here our purpose is to give a rigorous foundation of the principles of differentiation in R n. Much of
More informationOn the normal completion of a Boolean algebra
Journal of Pure and Applied Algebra 181 (2003) 1 14 www.elsevier.com/locate/jpaa On the normal completion of a Boolean algebra B. Banaschewski a, M.M. Ebrahimi b, M. Mahmoudi b; a Department of Mathematics
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationFilters. Alden Walker Advisor: Miller Maley. May 23, 2007
Filters Alden Walker Advisor: Miller Maley May 23, 2007 Contents 1 Introduction 4 1.1 Motivation..................................... 4 1.2 Mathematical Abstraction............................ 5 1.2.1
More informationFuzzy and Non-deterministic Automata Ji Mo ko January 29, 1998 Abstract An existence of an isomorphism between a category of fuzzy automata and a cate
University of Ostrava Institute for Research and Applications of Fuzzy Modeling Fuzzy and Non-deterministic Automata Ji Mo ko Research report No. 8 November 6, 1997 Submitted/to appear: { Supported by:
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationRigid monomial ideals
Rigid monomial ideals Timothy B.P. Clark and Sonja Mapes February 10, 011 Abstract In this paper we investigate the class of rigid monomial ideals. We give a characterization of the minimal free resolutions
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationConvex Optimization Notes
Convex Optimization Notes Jonathan Siegel January 2017 1 Convex Analysis This section is devoted to the study of convex functions f : B R {+ } and convex sets U B, for B a Banach space. The case of B =
More information