On Discrete Hopf Fibrations, Grand Unification Groups, the Barnes-Wall, Leech Lattices, and Quasicrystals

A discrete Hopf fibration of S15 over S8 with S7 (unit octonions) as fibers leads to a 16D Polytope P16 with 4320 vertices obtained from the convex hull of the 16D Barnes-Wall lattice Λ16. It is argued (conjectured) how a subsequent 2-1 mapping (projection) of P16 onto a 8D-hyperplane might furnish the 2160 vertices of the uniform 241 polytope in 8-dimensions, and such that one can capture the chain sequence of polytopes 241,231,221,211in D=8,7,6,5dimensions, leading, respectively, to the sequence of Coxeter groups E8,E7,E6,SO(10)which are putative GUT group candidates. An embedding of the E8⊕E8and E8⊕E8⊕E8lattice into the Barnes-Wall Λ16 and Leech Λ24 lattices, respectively, is explicitly shown. From the 16D lattice E8⊕E8one can generate two separate families of Elser-Sloane 4D quasicrystals (QC’s) with H4 (icosahedral) symmetry via the “cut-and-project” method from 8D to 4D in each separate E8 lattice. Therefore, one obtains in this fashion the Cartesian product of two Elser-Sloane QC’s Q×Qspanning an 8D space. Similarly, from the 24D lattice E8⊕E8⊕E8one can generate the Cartesian product of three Elser-Sloane 4D quasicrystals (QC’s) Q×Q×Qwith H4 symmetry and spanning a 12D space.

On Boolean elements and derivations in 2-dimension linguistic lattice implication algebras

A 2-dimension linguistic lattice implication algebra(2DL-LIA)can build a bridge between logical algebra and 2-dimension fuzzy linguistic information.In this paper,the notion of a Boolean element is proposed in a 2DL-LIA and some properties of Boolean elements are discussed.Then derivations on 2DL-LIAs are introduced and the related properties of derivations are investigated.Moreover,it proves that the derivations on 2DL-LIAs can be constructed by Boolean elements.

Implicative and Fuzzy Implicative Ideals of Lattice Implication Algebras

In this paper, we defined the concept of implicative and fuzzy implicative ideals of lattice implication algebras, and discussed the properties of them. And then, we pointed out the relations between implicative ideal and LI _ideal, implicative iedal and implicative filter, implicative ideal and fuzzy implicative ideal, fuzzy implicative ideal and fuzzy implicative filter, and fuzzy implicative ideal and fuzzy LI _ideal.

The Logical Properties of Filters of Lattice Implication Algebra

In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.

Logical Properties of Lattice Filter of Lattice Implication Algebra

Some new properties of lattice filters are presented based on the order-preserving mapping and lattice homomorphism, and two necessary and sufficient conditions for lattice filters under the chain type are given. Then, the relations between lattice filter and lattice implication algebras （LIAs）, i. e., the relations between lattice filter and LIA-filters, and the related properties are investigated. In addition, three necessary and sufficient conditions for LIA-filters are discussed. The obtained results may serve as some theoretical supports to lattice-valued logical system.

Fuzzy MP-filters Lattice on a Given FI-algebra

In this paper, the properties of fuzzy MP-filters are discussed by using methods of Domain theory in FI-algebras. It is proved that all fuzzy MP-filters of a given FI-algebra form a distributive algebraic lattice, particularly form a frame.

LI-ideal Spaces of Lattice Implication Algebra

In this paper, a topological space based on LI-ideals of a lattice implication algebra is constructed, and its topological properties, such as separability, compactness and connectedness are discussed.

On Certain Filters in Lattice Implication Algebras

Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat tice implication algebras, and discussed some propert ies of them. Finally, the characterization of filters of any lattice implication algebra which satisfies Increasing Chain Conditions (I. C. C) is given.

Finite Simple Lattice Implication Algebras

In this paper, some necessary and sufficient conditions that a finite lattice implication algebra is simple are established. Specially, it is proved that a finite lattice implication algebra L is simple if and only if （L, ≤） is a chain, if and only if there exists the unique dual atom in L. Also, it is given that a finite lattice implication algebra with order of a prime number is simple.

Relational Representations of Strongly Algebraic Lattices

In this paper,we introduce and investigate the strongly regular relation.Then we give the relational representations and an intrinsic characterization of strongly algebraic lattices via mapping relation and strongly regular relation.

Subalgebra and LI-Ideal of Lattice Implication Algebras

First, we reviewed the definitions of lattice implication algebras, lattice implication subalgebras, and LI-ideals, and provided an equivalent definition of LI-ideal. Then we investigated some properties of lattice implication subalgebra and U-ideal, and found the least lattice implication subalgebra. Finally, the relation between lattice implication subalgebra and LI-ideal is presented. It is proved that no LI-ideals are non-trivial lattice implication subalgebras.

Lattice Implication Algebrasand MV-algebras

Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra are proposed,the relation between lattice implication product algebra and its factors and some properties of lattice implication product algebras are discussed.

Note on Reflexive Algebras with Non-distribut iveInvariant Lattices

In this note,we discuss some properties of reflexive algebras on a Hilbert space with invariant subspace lattices as realizations of the pentagon and the double triangle and give some results concerning hyperreflexivity,automorphism and finite rank operators.

Prime Space of Lattice Implication Algebras

In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.

L-fuzzy Lattice Implication Algebra

This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.

The Lattice of（∈,∈∨qk）-fuzzy Filters in a Given R0-algebra

The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.

Discrete integrable couplings associated with modified Korteweg-de Vries lattice and two hierarchies of discrete soliton equations

A direct way to construct integrable couplings for discrete systems is presented by use of two semi-direct sum Lie algebras. As their applications, the discrete integrable couplings associated with modified Korteweg-de Vries （m-KdV） lattice and two hierarchies of discrete soliton equations are developed. It is also indicated that the study of integrable couplings using semi-direct sums of Lie algebras is an important step towards the complete classification of integrable couplings.

A New Integrable Lattice Hierarchy and Its Two Discrete Integrable Couplings

A new and efficient way is presented for discrete integrable couplings with the help of two semi-direct sum Lie algebras. As its applications, two discrete integrable couplings associated with the lattice equation are worked out. The approach can be used to study other discrete integrable couplings of the discrete hierarchies of solition equations.