The notions of a soft general algebra and a soft subalgebra are introduced and studied. The operations on them such as a restricted intersection, an extended intersection, a restricted union, a ^-intersection, a ˅-union and a cartesian product are established.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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 the homomorphic properties of implicative and maximal ideals.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Characterizations of fuzzy ideals of a pseudo-BCK algebra are established. Conditions for a fuzzy set to be a fuzzy ideal are given. Given a fuzzy set ž, the least fuzzy ideal containing ž is constructed. The homomorphic properties of fuzzy ideals of a pseudo-BCK algebra are provided. Finally, characterizations of Noetherian pseudo-BCK algebras and Artinian pseudo-BCK algebras in terms of fuzzy ideals are given.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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 niters in A). Moreover, we give the construction of quotient algebra A/F of A via a normal filter F of A.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The class of bipartite pseudo-BL algebras (denoted by BP) and the class of strongly bipartite pseudo-BL algebras (denoted by BP0) are investigated. We prove that the class BP0 is a variety and show that BP is closed under subalgebras and arbitrary direct products but it is not a variety. We also study connections between bipartite pseudo-BL algebras and other classes of pseudo-BL algebras.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The concepts of semisimple and semilocal pseudo BL-algebras are investigated. Many facts corresponding with them are considerated. Moreover, we give a negative answer to the question from [Di Nola, Georgescu and lorgulescu (Multiplae Valued Logic 8: 715-750, 2002), Problem 1.33].
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW