The aim of this paper is to introduce the notion of (∈,∈∨ q)-fuzzy (implicative, MV and G-) filters of pseudo-BL algebras and to investigate some of their related properties. Some characterization theorems of these generalized fuzzy (implicative) filters are derived. The relationship among these generalized fuzzy filters of pseudo-BL algebras is considered. It is proved that an (∈,∈∨ q)fuzzy fi...

In this paper, by considering the notion of upsets we construct some topologies on BLalgebras. We show that any BL-algebras with respect to these topologies formes semitopological BLalgebra. Then we obtain some of the topological aspects of theses structures such as connectivity and compactness. Moreover, we introduced two kinds of semitopological MV -algebra by using two kinds of definition of...

The purpose of this paper is to review an algorithm for computing “small” resolutions in homological algebra, to provide examples of its use as promised in [L1], [LS], and to illustrate the use of computer algebra in an area not usually associated with that subject. Comparison of the complexes produced by the method discussed here with those produced by other methods shows that the algorithm ge...

Let F be a field, B a biquaternion F -algebra, L/F an étale quadratic extension, X the Weil transfer with respect to L/F of the Severi-Brauer variety of BL. We show that the Chow group of codimension 2 cycle classes on X is torsion-free. Our Chow groups are those with integral coefficients. The motives used in the proof are the Grothendieck Chow motives (still with the integral coefficients) as...

In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral fi...

A subalgebra B of a Leibniz algebra L is called weak c-ideal if there subideal C such that L=B+C and B∩C⊆BL where BL the largest ideal contained in B. This analogous to concept weakly c-normal subgroup, which has been studied by number authors. We obtain some properties c-ideals use them give characterizations solvable supersolvable algebras generalizing previous results for Lie algebras. note ...

Endowing a lower-bounded partially ordered set with a total addition or with a total difference operation leads to the basic notion of a NAM, that is, a naturally ordered abelian monoid, or a BCK-algebra, respectively. BL-algebras may be alteratively viewed as certain NAMs or certain BCK-algebras. We characterize the appropriate subclasses by making use of those properties which have been so fa...

Pseudo-hoops are algebraic structures introduced in [1, 2] by B. Bosbach under the name of complementary semigroups. This is a formalization of the paper [4]. Following [4] we prove some properties of pseudo-hoops and we define the basic concepts of filter and normal filter. The lattice of normal filters is isomorphic with the lattice of congruences of a pseudo-hoop. We also study some importan...

Weak pseudo BL-algebras (WPBL-algebras) are non-commutative fuzzy structures which arise from pseudot-norms (i.e. the non-commutative versions of triangular norms). In this paper, we study the pairs of weak negations on WPBL-algebras, extending the case of weak negations on Esteva–Godo MTL-algebras. A geometrical characterization of the pairs of weak negations in bounded chains is provided. Our...