Displaying similar documents to “Normalization of basic algebras”

Roughness of Filters in Lattice Implication Algebras

Y. B. Jun, Yang Xu (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

As a generalization of filters in lattice implication algebras, the notion of rough filters in lattice implication algebras is introduced, and some of their properties are considered.

PC-lattices: A Class of Bounded BCK-algebras

Sadegh Khosravi Shoar, Rajab Ali Borzooei, R. Moradian, Atefe Radfar (2018)

Bulletin of the Section of Logic

Similarity:

In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being a new class of BCK-lattices. Specially, we prove that any Boolean lattice is a PC-lattice and we show that if X is a PC-lattice with condition S, then X is an involutory BCK-algebra if and only if X is a commutative BCK-algebra. Finally, we prove that any PC-lattice...

Atomicity of lattice effect algebras and their sub-lattice effect algebras

Jan Paseka, Zdena Riečanová (2009)

Kybernetika

Similarity:

We show some families of lattice effect algebras (a common generalization of orthomodular lattices and MV-effect algebras) each element E of which has atomic center C(E) or the subset S(E) of all sharp elements, resp. the center of compatibility B(E) or every block M of E. The atomicity of E or its sub-lattice effect algebras C(E), S(E), B(E) and blocks M of E is very useful equipment for the investigations of its algebraic and topological properties, the existence or smearing of states...

Irredundant Decomposition of Algebras into One-Dimensional Factors

Bogdan Staruch (2016)

Bulletin of the Section of Logic

Similarity:

We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of subdirect product. We obtain the star-decomposition of algebras into one-dimensional factors, which generalizes the known decomposition theorems e.g. for Abelian groups, linear spaces, Boolean algebras.

The Sheffer stroke operation reducts of basic algebras

Tahsin Oner, Ibrahim Senturk (2017)

Open Mathematics

Similarity:

In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras. Finally, we construct a bridge between Sheffer stroke basic algebras and Boolean algebras.

Algebraic isomorphisms and Jordan derivations of 𝒥-subspace lattice algebras

Fangyan Lu, Pengtong Li (2003)

Studia Mathematica

Similarity:

It is shown that every algebraic isomorphism between standard subalgebras of 𝒥-subspace lattice algebras is quasi-spatial and every Jordan derivation of standard subalgebras of 𝒥-subspace lattice algebras is an additive derivation. Also, it is proved that every finite rank operator in a 𝒥-subspace lattice algebra can be written as a finite sum of rank one operators each belonging to that algebra. As an additional result, a multiplicative bijection of a 𝒥-subspace lattice algebra...

Classification systems and their lattice

Sándor Radeleczki (2002)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We define and study classification systems in an arbitrary CJ-generated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(L)). If B(L) is a pseudocomplemented lattice, then every classification system of L is independent...

Triple Constructions of Decomposable MS-Algebras

Abd El-Mohsen Badawy, Daniela Guffová, Miroslav Haviar (2012)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

A simple triple construction of principal MS-algebras is given which is parallel to the construction of principal p -algebras from principal triples presented by the third author in [Haviar, M.: Construction and affine completeness of principal p-algebras Tatra Mountains Math. 5 (1995), 217–228.]. It is shown that there exists a one-to-one correspondence between principal MS-algebras and principal MS-triples. Further, a triple construction of a class of decomposable MS-algebras that includes...