Fuzzy N-Positive Implicative Ideal

詹建明

DOI: https://doi.org/10.3969/j.issn.1001-7011.2001.04.005

2002-01-01

Abstract:The notion of closed fuzzy n-positive implicative ideal of BCI-algebras is introduced and their properties are investigated.

What problem does this paper attempt to address?

On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

Hamza A. S. Abujabal,Jie Meng

DOI: https://doi.org/10.22199/s07160917.1999.0002.00007

1999-01-01

Proyecciones (Antofagasta)

Abstract:In the present paper, we given sorne equivalent conditions of (*)-ideals and positive implicative ideals in BCI-algebras and we clarify the relation of the two classes of ideals. Also, we obtain further properties of these ideals. Finally, we discuss a quotient algebra of a BCI-algebra by a closed (*)-ideal and a quotient algebra by positive implicative ideal.
FSI-IDEALS AND FSC-IDEALS OF BCI-ALGEBRAS

Yong-Lin Liu,San-Yang Liu,Jie Meng

DOI: https://doi.org/10.4134/bkms.2004.41.1.167

2004-01-01

Bulletin of the Korean Mathematical Society

Abstract:The notions of FSI-ideals and FSC-ideals in BCI-algebras are introduced. The characterization properties of FSI-ideals and FSC-ideals are obtained. We investigate the relations between FSI-ideals (resp. FSC-ideals) and other fuzzy ideals, between FSI-ideals (resp. FSC-ideals) and BCI-algebras, and show that a fuzzy subset of a BCI-algebra is an FSI-ideal if and only if it is both an FSC-ideal and a fuzzy BCI-positive implicative ideal.
The Pointwise Characterizations of Fuzzy Implicative Ideal in BCK-algebras

Changhui Li

2007-01-01

Abstract:Using the notion of fuzzy point,the concept of weak implicative ideal is introduced,and the equivalence between fuzzy implicative ideal and weak implicative ideal,weak ideal and weak implicative ideal are also given.
The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

Jie Meng,Youngbae Jun,Eunhwan Roh

1997-01-01

Abstract:In this note, we introduce the notion of H-ideals in BCI-algebras, and establish some properties of H-ideals and p-ideals. We investigate the relation among p-ideals, strong ideals and H-ideals. Finally we discuss the family of maps derived by an H-ideal.
Fuzzifying BCK-Algebras

Guang-ji ZHANG,Cheng ZHANG,Kai-qi ZOU

DOI: https://doi.org/10.3969/j.issn.1001-7402.2001.02.006

2001-01-01

Abstract:In this paper, we define the concepts of fuzzifying subalgebras, fuzzifying ideals,and fuzzifying implicative ideals in BCK-algebras and discuss their properties and relations among them.
NORMAL BCI/BCK-ALGEBRAS

Jie Meng,Shi-Ming Wei,Young Bae Jun

1994-01-01

Communications of the Korean Mathematical Society

Abstract:In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)
Ideals and Filters in Pseudo-Effect Algebras

Zhihao Ma,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1023/b:ijtp.0000048628.89053.de

2004-01-01

International Journal of Theoretical Physics

Abstract:In this paper, we show that the filters and local filters are equivalent in pseudo-effect algebras. Ideals and local ideals and generalized ideals are equivalent in the pseudo-effect algebras, too.
Ideal Topology on Effect Algebras

Zhihao Ma,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1023/b:ijtp.0000049030.33542.87

2004-01-01

International Journal of Theoretical Physics

Abstract:The ideals of effect algebras induce a topology on effect algebras. The operations ⊕ and ⊖ of effect algebras are continuous with respect to this topology.
On Fuzzification of n-Lie Algebras

Shadi Shaqaqha

DOI: https://doi.org/10.48550/arXiv.2101.07650

2021-01-17

Abstract:The aim of this paper is to introduce the notion of intuitionistic fuzzy Lie subalgebras and intutionistic fuzzy Lie ideals of n-Lie algebras. It is a generalization of intuitionistic fuzzy Lie algebras. Then, we investigate some of characteristics of intutionistic fuzzy Lie ideals (resp. subalgebras) of n-Lie algeras. Finally, we define the image and the inverse image of intuitionistic fuzzy Lie subalgebra under n-Lie algebra homomorphism. The properties of intuitionistic fuzzy n-Lie subalgebras and intuitionistic fuzzy Lie ideals under homomorphisms of n-Lie algebras are studied. Finally, we define the intuitionistic fuzzy quotient n-Lie algebra by an intuitionistic fuzzy ideal of n-Lie algebra and prove that it is a n-Lie algebra.

Rings and Algebras
Fuzzy implications in lattice effect algebras

Wei Ji

DOI: https://doi.org/10.1016/j.fss.2020.04.021

IF: 4.462

2021-02-01

Fuzzy Sets and Systems

Abstract:<p>Implications are one of the key operations in fuzzy logic and approximate reasoning. We prove that the Dishkant arrow in a lattice effect algebra is a partial triangular implication if and only if the lattice effect algebra is an MV-effect algebra. Then we show that a certain implication based on the Sasaki arrow is a partial triangular implication. Furthermore, we propose a new partial triangular implication, which is also a fuzzy implication in lattice effect algebras.</p>

mathematics, applied,statistics & probability,computer science, theory & methods
Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

Kyung Tae Kang,Seok-Zun Song,Young Bae Jun

DOI: https://doi.org/10.3390/math8020177

IF: 2.4

2020-02-02

Mathematics

Abstract:When events occur in everyday life, it is sometimes advantageous to approach them in two directions to find a solution for them. As a mathematical tool to handle these things, we can consider the intuitionistic fuzzy set. However, when events are complex and the key to a solution cannot be easily found, we feel the need to approach them for hours and from various directions. As mathematicians, we wish we had the mathematical tools that apply to these processes. If these mathematical tools were developed, we would be able to apply them to algebra, topology, graph theory, etc., from a close point of view, and we would be able to apply these research results to decision-making and/or coding theory, etc., from a distant point of view. In light of this view, the purpose of this study is to introduce the notion of a multipolar intuitionistic fuzzy set with finite degree (briefly, k-polar intuitionistic fuzzy set), and to apply it to algebraic structure, in particular, a BCK/BCI-algebra. The notions of a k-polar intuitionistic fuzzy subalgebra and a (closed) k-polar intuitionistic fuzzy ideal in a BCK/BCI-algebra are introduced, and related properties are investigated. Relations between a k-polar intuitionistic fuzzy subalgebra and a k-polar intuitionistic fuzzy ideal are discussed. Characterizations of a k-polar intuitionistic fuzzy subalgebra/ideal are provided, and conditions for a k-polar intuitionistic fuzzy subalgebra to be a k-polar intuitionistic fuzzy ideal are provided. In a BCI-algebra, relations between a k-polar intuitionistic fuzzy ideal and a closed k-polar intuitionistic fuzzy ideal are discussed. A characterization of a closed k-polar intuitionistic fuzzy ideal is considered, and conditions for a k-polar intuitionistic fuzzy ideal to be closed are provided.

mathematics
ON A PROBLEM OF G-PART OF BCI-ALGEBRAS

Jie Meng,Young Bae Jun,Eun-Hwan Roh

1994-01-01

East Asian Mathematical Journal

Abstract:is an ideal of X. Finally, we give some of other characterizations of KL-product BCI-algebras as a complement of [6] and [8]. The set L(X) of all atoms in a BCI-algebra X is a p-semisimple subalgebra of X; hence it is said to be p-semisimple part of X. But it, in general, may not be an ideal of X. W. P. Huang [2] and J. Meng and X. L. Xin [8] considered the question that in order that L(X) is an ideal of X, what condition does X satisfy? To be motivated by [2], Y. B. Jun and E. H. Roh [5] investigated 난leG-part of a BCI-algebra X and proved the following.
Fuzzifying Ideals Based on Complete Residuated Lattice Valued Logic

Zhi Jiang

2000-01-01

Abstract:In this paper,We use a semantic method of complete residuated lattic valued logic L proposed by Pro.Mingsheng Ying to introduce the fuzzifying left ideal(L left ideal),right ideal (L right ideal),ideal(L ideal),and investigate some ot their algebraic properties.
Ideals and Homomorphism Theorems of Fuzzy Associative Algebras

Xiaoman Yang,Xin Zhou

DOI: https://doi.org/10.3390/math12081125

IF: 2.4

2024-04-09

Mathematics

Abstract:Based on the definitions of fuzzy associative algebras and fuzzy ideals, it is proven that the intersections of fuzzy subalgebras are fuzzy subalgebras, and the intersections of fuzzy ideals are fuzzy ideals. Moreover, we prove that the kernels of fuzzy homomorphisms are fuzzy ideals. Using fuzzy ideals, the quotient structures of fuzzy associative algebras are constructed, their corresponding properties are discussed, and their homomorphism theorems are proven.

mathematics
Some properties of pseudo-BCK- and pseudo-BCI-algebras

Petr Emanovský,Jan Kühr

DOI: https://doi.org/10.48550/arXiv.1808.10697

2018-08-31

Rings and Algebras

Abstract:Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57], we show that pseudo-BCI-algebras are the residuation subreducts of semi-integral residuated po-monoids and characterize those pseudo-BCI-algebras which are direct products of pseudo-BCK-algebras and groups (regarded as pseudo-BCI-algebras). We also show that the quasivariety of pseudo-BCI-algebras is relatively congruence modular; in fact, we prove that this holds true for all relatively point regular quasivarieties which are relatively ideal determined, in the sense that the kernels of relative congruences can be described by means of ideal terms.
Boolean-like algebras of finite dimension

Antonio Bucciarelli,Antonio Ledda,Francesco Paoli,Antonino Salibra

DOI: https://doi.org/10.48550/arXiv.1806.06537

2022-10-25

Abstract:We continue the investigation of Boolean-like algebras of dimension n (nBA) having n constants e1,...,en, and an (n+1)-ary operation q (a "generalised if-then-else") that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBAs share many remarkable properties with the variety of Boolean algebras and with primal varieties. Exploiting the concept of central element, we extend the notion of Boolean power to that of semiring power and we prove two representation theorems: (i) Any pure nBA is isomorphic to the algebra of n-central elements of a Boolean vector space; (ii) Any member of a variety of nBAs with one generator is isomorphic to a Boolean power of this generator. This gives a new proof of Foster's theorem on primal varieties.

Logic in Computer Science
Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras

Kholood M. Alsager,Sheza M. El-Deeb

DOI: https://doi.org/10.3390/math12182925

IF: 2.4

2024-09-21

Mathematics

Abstract:This paper presents the novel concept of rough intuitionistic fuzzy ideals within the realm of BCK-algebras and investigates their fundamental properties. Furthermore, we introduce a set-valued homomorphism over a BCK-algebra, laying the foundation for the establishment of T-rough intuitionistic fuzzy ideals. The characterization of these innovative ideals is accomplished by employing the (α,β)-cut of intuitionistic fuzzy sets in the context of BCK-algebras.

mathematics
Positive ideals of multilinear operators

Athmane Ferradi,Abdelaziz Belaada,Khalil Saadi

2024-08-25

Abstract:We introduce and explore the concept of positive ideals for both linear and multilinear operators between Banach lattices. This paper delineates the fundamental principles of these new classes and provides techniques for constructing positive multi-ideals from given positive ideals. Furthermore, we present an example of a positive multi-ideal by introducing a new class, referred to as positive (p1,...,pm;r)-dominated multilinear operators. We establish a natural analogue of the Pietsch domination theorem and Kwapien's factorization theorem within this class.

Functional Analysis
Some kinds of $(\overline{\in},\overline{\in}\vee \overline{q})$-fuzzy filters of $BL$-algebras

Xueling Ma,Jianming Zhan,Wiesław A. Dudek

DOI: https://doi.org/10.1016/j.comwa.2009.03.109

2009-05-24

Abstract:The concepts of $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy (implicative, positive implicative and fantastic) filters of $BL$-algebras are introduced and some related properties are investigated. Some characterizations of these generalized fuzzy filters are derived. In particular, we describe the relationships among ordinary fuzzy (implicative, positive implicative and fantastic) filters, $(\in,\ivq)$-fuzzy (implicative, positive implicative and fantastic) filters and $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy (implicative, positive implicative and fantastic) filters of $BL$-algebras. Finally, we prove that a fuzzy set $F$ on a $BL$-algebra $L$ is an $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy implicative filter of $L$ if and only if it is both $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy positive implicative filter and an $(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy fantastic filter.

Logic
Pseudo BCI-algebras with derivations

Lavinia Corina Ciungu

DOI: https://doi.org/10.48550/arXiv.1902.09895

2019-03-22

Abstract:In this paper we define two types of implicative derivations on pseudo-BCI algebras, we investigate their properties and we give a characterization of regular implicative derivations of type II. We also define the notion of a $d$-invariant deductive system of a pseudo-BCI algebra $A$ proving that $d$ is a regular derivation of type II if and only if every deductive system on $A$ is $d$-invariant. It is proved that a pseudo-BCI algebra is $p$-semisimple if and only if the only regular derivation of type II is the identity map. Another main result consists of proving that the set of all implicative derivations of a $p$-semisimple pseudo-BCI algebra forms a commutative monoid with respect to function composition. Two types of symmetric derivations on pseudo-BCI algebras are also introduced and it is proved that in the case of $p$-semisimple pseudo-BCI algebras the sets of type II implicative derivations and type II symmetric derivations are equal.

Logic,Rings and Algebras

Fuzzy N-Positive Implicative Ideal

On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

FSI-IDEALS AND FSC-IDEALS OF BCI-ALGEBRAS

The Pointwise Characterizations of Fuzzy Implicative Ideal in BCK-algebras

The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

Fuzzifying BCK-Algebras

NORMAL BCI/BCK-ALGEBRAS

Ideals and Filters in Pseudo-Effect Algebras

Ideal Topology on Effect Algebras

On Fuzzification of n-Lie Algebras

Fuzzy implications in lattice effect algebras

Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

ON A PROBLEM OF G-PART OF BCI-ALGEBRAS

Fuzzifying Ideals Based on Complete Residuated Lattice Valued Logic

Ideals and Homomorphism Theorems of Fuzzy Associative Algebras

Some properties of pseudo-BCK- and pseudo-BCI-algebras

Boolean-like algebras of finite dimension

Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras

Positive ideals of multilinear operators

Some kinds of $(\overline{\in},\overline{\in}\vee \overline{q})$-fuzzy filters of $BL$-algebras

Pseudo BCI-algebras with derivations