In this note first we define the notions of intuitionistic fuzzy dual positive implicative hyper K-ideals of types 1,2,3,4 and intuitionistic fuzzy dual hyper K-ideals. Then we give some classifications about these notions according to the level subsets. Also by given some examples we show that these notions are not equivalent, however we prove some theorems which show that there are some relat...

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...

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 ...

The notion of extended filter of a filter associated to a subset of Rl-monoids is defined and related properties are investigated. Rachunek and Salounova proved that positive implicative filters and Boolean filters in Rl-monoids coincide with a condition in Rachunek and Salounova (Acta Univ Palacki Olomuc Fac rer nat Math 48(1):93–107, 2009). In this paper, we prove that positive implicative fi...

Molodtsov [8] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCK-algebras. The notions of positive implicative soft ideals and positive implicative idealistic soft BCK-algebras are intro...