This paper presents some generalizations of BCI algebras (the RM, tRM, *RM, RM**, *RM**, aRM**, *aRM**, BCH**, BZ, pre-BZ and pre-BCI algebras). We investigate the p-semisimple property for algebras mentioned above; give some examples and display various conditions equivalent to p-semisimplicity. Finally, we present a model of mereology without antisymmetry (NAM) which could represent a tRM algebra.
We consider thirty generalizations of BCK algebras (RM, RML, BCH, BCC, BZ, BCI algebras and many others). We investigate the property of commutativity for these algebras. We also give 10 examples of proper commutative finite algebras. Moreover, we review some natural classes of commutative RML algebras and prove that they are equationally definable.
In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition,...
The notions of a dual pseudo-Q algebra and a dual pseudo-QC algebra are introduced. The properties and characterizations of them are investigated. Conditions for a dual pseudo-Q algebra to be a dual pseudo-QC algebra are given. Commutative dual pseudo-QC algebras are considered. The interrelationships between dual pseudo-Q/QC algebras and other pseudo algebras are visualized in a diagram.
Basic properties of branches of pseudo-BCH algebras are described. Next, the concept of a branchwise commutative pseudo-BCH algebra is introduced. Some conditions equivalent to branchwise commutativity are given. It is proved that every branchwise commutative pseudo-BCH algebra is a pseudo-BCI algebra.
In this paper we introduce the notion of a disjoint union of pseudo-BCH-algebras and describe ideals in such algebras. We also investigate ideals of direct products of pseudo-BCH-algebras. Moreover, we establish conditions for the set of all minimal elements of a pseudo-BCH-algebra X to be an ideal of X.
The notion of pseudo-BCH-algebras is introduced, and some of their properties are investigated. Conditions for a pseudo-BCH-algebra to be a pseudo-BCI-algebra are given. Ideals and minimal elements in pseudo-BCH-algebras are considered.
Some connections between BM-algebras and its related topics are studied. It is proved that the class of medial BH-algebras coincides with the class of BM-algebras. Moreover, the congruence lattice of a BM-algebra is investigated.
In the theory of MV-algebras, implicative ideals are studied by Hoo and Sessa. In this paper we define and characterize implicative ideals of BL-algebras. We also investigate maximal ideals of BL-algebras and prove that if an ideal is prime and implicative, then it is maximal. Moreover, we show that an ideal is maximal if and only if the quotient BL-algebra is a simple MV-algebra. Finally, we give...
Characterizations of fuzzy filters in a BE-algebra are established. Conditions for a fuzzy set to be a fuzzy filter are given. For a fuzzy set µ the least fuzzy filter containing µ is constructed. The homomorphic properties of fuzzy filters of a BE-algebra are provided. Finally, characterizations of Noetherian BE-algebras and Artinian BE-algebras via fuzzy filters are obtained.
Pseudo-BL-algebras are a noncommutative extention of BL-algebras. In this paper we consider polars in pseudo-BL-algebras and the class of complete pseudo-BL-algebras. In the final section, a version of the Cantor-Bernstein theorem will be proved.
In this paper we introduce the notion of a normal filter in BE-algebras (in transitive BE-algebras filters conicide with normal filters). We discuss some relationships between congruence relations and normal filters of a BE-algebra A (if A is commutative, then we show that there is a bijection between congruence relations and filters in A ). Moreover, we give the construction of quotient algebra A/F...
In [J. Meng, X. Guo, On fuzzy ideals in BCK/BCI-algebras, Fuzzy Sets and Systems 149 (2005) 509–525], Meng and Guo gave some characterizations of Noetherian BCK/BCI-algebras by fuzzy ideals. They introduced (see Definition 6.2) the notion of the fuzzy ascending chain condition (briefly, FACC) and stated that a BCK/BCI-algebra X is Noetherian if and only if X satisfies the FACC (Theorem 6.5), but it...
In this paper we introduce the notion of BF-algebras, which is a generalization of B-algebras. We also introduce the notions of an ideal and a normal ideal in BF-algebras. We investigate the properties and characterizations of them.
We investigate maximal ideals of pseudo MV-algebras and give some characterizations of them. Some properties of a family of maximal ideals of a pseudo MV-algebra generating this algebra are shown as well. Finally, we are interested in finding an example of a pseudo MV-algebra generated by its maximal ideal.
In the present paper we consider algebras satisfying both the congruence extension property (briefly the CEP) and the weak congruence intersection property (WCIP for short). We prove that subalgebras of such algebras have these properties. We deduce that a lattice has the CEP and the WCIP if and only if it is a two-element chain. We also show that the class of all congruence modular algebras with...
The aim of this paper is to present relations between Goldie, hollow and Kurosh-Ore dimensions of semimodular lattices. Relations between Goldie and Kurosh-Ore dimensions of modular lattices were studied by Grzeszczuk, Okiński and Puczyłowski.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.