Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Generalized co-annihilator of BL-algebras

100%
Meng B. L., Xin X. L.
Open Mathematics
|
2015
|
tom 13
|
nr 1
EN
In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators. We also introduce the notion of involutory filters relative to a filter F and prove that the set of all involutory filters relative to a filter with respect to the suit operations is a complete Boolean lattice and BL-algebra. We use the technology of generalized co-annihilators to give characterizations of prime filters and minimal prime filters, respectively. In particular, we give a representation of co-annihilators in the quotient algebra of a BL-algebra L via a filter F by means of generalized co-annihilators relative to F in L:
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Complex Fuzzy Sets with Application in BCK/BCI-Algebras

100%
Jun Y. B., Xin X. L.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 3
173-185
EN
As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. The notions of a complex subalgebra and a complex left (right) reduced ideal in a BCK/BCI- algebra are introduced, and related properties are investigated. Characterizations of a complex subalgebra are provided, and the homomorphic image (preimage) of a complex subalgebra and a complex left (right) reduced ideal.
3
Content available remote

On annihilators in BL-algebras

81%
Zou Y. X., Xin X. L., Fei He P.
Open Mathematics
|
2016
|
tom 14
|
nr 1
324-337
EN
In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I. Also, we define the An (L) to be the set of all annihilators of L, then we have that (An(L); ⋂,∧An(L),⊥,{0}, L) is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties of them. As an application, we show that if I and J are ideals in a BL-algebra L, then [...] JI⊥$J_I^ \bot $ is the relative pseudo-complement of J with respect to I in the ideal lattice (I(L), ⊆). Moreover, we get some properties of the homomorphism image of annihilators, and also give the necessary and sufficient condition of the homomorphism image and the homomorphism pre-image of an annihilator to be an annihilator. Finally, we introduce the notion of α-ideal and give a notation E(I ). We show that (E(I(L)), ∧E, ∨E, E(0), E(L) is a pseudo-complemented lattice, a complete Brouwerian lattice and an algebraic lattice, when L is a BL-chain or a finite product of BL-chains.
4
Content available remote

Very true operators on MTL-algebras

81%
Wang J. T., Xin X. L., Saeid A. B.
Open Mathematics
|
2016
|
tom 14
|
nr 1
955-969
EN
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized and an analogous of representation theorem for very true MTL-algebras is proved. Then, the left and right stabilizers of very true MTL-algebras are introduced and some related properties are given. As applications of stabilizer of very true MTL-algebras, we produce a basis for a topology on very true MTL-algebras and show that the generated topology by this basis is Baire, connected, locally connected and separable. Finally, the corresponding logic very true MTL-logic is constructed and the soundness and completeness of this logic are proved based on very true MTL-algebras.
5
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Positive Implicative Soju Ideals in BCK-Algebras

81%
Xin X. L., Borzooei R. A., Jun Y. B.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 1
EN
The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.