In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...

in this paper, we define the notions of ultra and involution ideals in $bck$-algebras. then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. specially, we show that in a bounded implicative $bck$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $bck$-semilattice, the not...

Starting from quasi-Wajsberg algebras (which are generalizations of Wajsberg algebras), whose regular sets are Wajsberg algebras, we introduce a theory of quasi-algebras versus, in parallel, a theory of regular algebras. We introduce the quasi-RM, quasi-RML, quasi-BCI, (commutative, positive implicative, quasi-implicative, with product) quasi-BCK, quasi-Hilbert and quasi-Boolean algebras as gen...

Copyright q 2010 Young Bae Jun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy implicative ideal of a BCK-algebra is introduced. Relations...

Abstract In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It indicated that the axioms of a independent. The relationship between stated. After describing commutative, an implicative involutory BCK-algebras, some important properties proved. structures demonstrated. A with condition (S) described connection other shown. Finally, it proved for to be Boolean...

In this paper, we introduce the notion of n-fold (P, implicative, normal and fantastic) ideals in BCH-algebras which is a natural generalization of notion of (P, implicative, normal and fantastic) ideals in BCH-algebras and we stated and proved some theorems which determine the relationship between these notions.

Doubt m-polar subalgebras (ideals) were introduced and some properties investigated. Also, doubt positive implicative (commutative) ideals defined related results proved.

We prove that every implicative aBE algebra satisfies the transitivity property. This means is a Tarski algebra, and thus also commutative BCK algebra.