On -fold fuzzy implicative/commutative ideals of BCK-algebras.
Prestel introduced a generalization of the notion of an ordering of a field, which is called a semiordering. Prestel's axioms for a semiordered field differ from the usual (Artin-Schreier) postulates in requiring only the closedness of the domain of positivity under x ↦ xa² for non-zero a, in place of requiring that positive elements have a positive product. Our aim in this work is to study this type of ordering in the case of a division ring. We show that it actually behaves just as in the commutative...
Prestel introduced a generalization of the notion of an ordering of a field, which is called a semiordering. Prestel’s axioms for a semiordered field differ from the usual (Artin-Schreier) postulates in requiring only the closedness of the domain of positivity under for nonzero , instead of requiring that positive elements have a positive product. In this work, this type of ordering is studied in the case of a division ring. It is shown that it actually behaves the same as in the commutative...
In this paper we prove a theorem of Cantor-Bernstein type for orthogonally -complete lattice ordered groups.
In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.
The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.