Properties of Basic Fuzzy Implication Algebra

2009 ◽  
pp. 128-134 ◽  
Author(s):  
Zhi-wei Li ◽  
Gui-hua Li
Keyword(s):  
Fuzzy Implication ◽  
Implication Algebra

scholarly journals Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras

Mathematics ◽  
2020 ◽  
Vol 8 (9) ◽  
pp. 1513
Author(s):  
Xiaohong Zhang ◽  
Xiangyu Ma ◽  
Xuejiao Wang
Keyword(s):  
Fuzzy Logic ◽  
Special Kind ◽  
Algebra Structure ◽  
Algebraic Structures ◽  
Commutative Case ◽  
Filter Theory ◽  
Fuzzy Implication ◽  
Implication Algebra ◽  
Common Extension ◽  
The Common

The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic). However, this algebra structure does not have enough characteristics to describe residual implications in depth, so we propose a new concept of strong BI-algebra, which is exactly the algebraic abstraction of fuzzy implication with pseudo-exchange principle (PEP). Furthermore, in order to describe the characteristics of the algebraic structure corresponding to the non-commutative fuzzy logics, we extend strong BI-algebra to the non-commutative case, and propose the concept of pseudo-strong BI (SBI)-algebra, which is the common extension of quantum B-algebras, pseudo-BCK/BCI-algebras and other algebraic structures. We establish the filter theory and quotient structure of pseudo-SBI- algebras. Moreover, based on prequantales, semi-uninorms, t-norms and their residual implications, we introduce the concept of residual pseudo-SBI-algebra, which is a common extension of (non-commutative) residual lattices, non-associative residual lattices, and also a special kind of residual partially-ordered groupoids. Finally, we investigate the filters and quotient algebraic structures of residuated pseudo-SBI-algebras, and obtain a unity frame of filter theory for various algebraic systems.

Pythagorean fuzzy full implication multiple I method and corresponding applications

2021 ◽  
pp. 1-15
Author(s):  
TaiBen Nan ◽  
Haidong Zhang ◽  
Yanping He
Keyword(s):  
Decision Making ◽  
Modus Ponens ◽  
Pythagorean Fuzzy Set ◽  
Implication Operator ◽  
Continuity Properties ◽  
Fuzzy Implication ◽  
Decision Making Problem ◽  
Fuzzy Implication Operator ◽  
Degree Of Similarity ◽  
Fuzzy Modus Ponens

The overwhelming majority of existing decision-making methods combined with the Pythagorean fuzzy set (PFS) are based on aggregation operators, and their logical foundation is imperfect. Therefore, we attempt to establish two decision-making methods based on the Pythagorean fuzzy multiple I method. This paper is devoted to the discussion of the full implication multiple I method based on the PFS. We first propose the concepts of Pythagorean t-norm, Pythagorean t-conorm, residual Pythagorean fuzzy implication operator (RPFIO), Pythagorean fuzzy biresiduum, and the degree of similarity between PFSs based on the Pythagorean fuzzy biresiduum. In addition, the full implication multiple I method for Pythagorean fuzzy modus ponens (PFMP) is established, and the reversibility and continuity properties of the full implication multiple I method of PFMP are analyzed. Finally, a practical problem is discussed to demonstrate the effectiveness of the Pythagorean fuzzy full implication multiple I method in a decision-making problem. The advantages of the new method over existing methods are also explained. Overall, the proposed methods are based on logical reasoning, so they can more accurately and completely express decision information.

scholarly journals Third Zadeh’s Intuitionistic Fuzzy Implication

Mathematics ◽  
2021 ◽  
Vol 9 (6) ◽  
pp. 619
Author(s):  
Krassimir Atanassov
Keyword(s):  
Basic Properties ◽  
Intuitionistic Fuzzy ◽  
Fuzzy Implication

George Klir and Bo Yuan named after Lotfi Zadeh the implication p→q=max(1−p,min(p,q)) (also Early Zadeh implication). In a series of papers, the author introduced two intuitionistic fuzzy forms of Zadeh’s implication and studied their basic properties. In the present paper, a new (third) intuitionistic fuzzy form of Zadeh’s implication is proposed and some of its properties are studied.

scholarly journals Study of Two Families of Generalized Yager’s Implications for Describing the Structure of Generalized (h,e)-Implications

Mathematics ◽  
2021 ◽  
Vol 9 (13) ◽  
pp. 1490
Author(s):  
Raquel Fernandez-Peralta ◽  
Sebastia Massanet ◽  
Arnau Mir
Keyword(s):  
Representation Theorem ◽  
Internal Factors ◽  
Fuzzy Implication ◽  
The Family

In this study, we analyze the family of generalized (h,e)-implications. We determine when this family fulfills some of the main additional properties of fuzzy implication functions and we obtain a representation theorem that describes the structure of a generalized (h,e)-implication in terms of two families of fuzzy implication functions. These two families can be interpreted as particular cases of the (f,g) and (g,f)-implications, which are two families of fuzzy implication functions that generalize the well-known f and g-generated implications proposed by Yager through a generalization of the internal factors x and 1x, respectively. The behavior and additional properties of these two families are also studied in detail.

scholarly journals Weak LI-ideals in implicative almost distributive lattices

2021 ◽  
Vol 14 (3) ◽  
pp. 207-217
Author(s):  
Tilahun Mekonnen Munie
Keyword(s):  
Distributive Lattice ◽  
Research Area ◽  
Distributive Lattices ◽  
Lattice Implication Algebra ◽  
Implication Algebra ◽  
New Development

In the field of many valued logic, lattice valued logic (especially ideals) plays an important role. Nowadays, lattice valued logic is becoming a research area. Researchers introduced weak LI-ideals of lattice implication algebra. Furthermore, other scholars researched LI-ideals of implicative almost distributive lattice. Therefore, the target of this paper was to investigate new development on the extension of LI-ideal theories and properties in implicative almost distributive lattice. So, in this paper, the notion of weak LI-ideals and maximal weak LI- ideals of implicative almost distributive lattice are defined. The properties of weak LI- ideals in implicative almost distributive lattice are studied and several characterizations of weak LI-ideals are given. Relationship between weak LI-ideals and weak filters are explored. Hence, the extension properties of weak LI-ideal of lattice implication algebra to that of weak LI-ideal of implicative almost distributive lattice were shown.

Sign in / Sign up

Export Citation Format

Share Document