The operators over the generalized intuitionistic fuzzy sets

Σχετικά έγγραφα
GÖKHAN ÇUVALCIOĞLU, KRASSIMIR T. ATANASSOV, AND SINEM TARSUSLU(YILMAZ)

Commutative Monoids in Intuitionistic Fuzzy Sets

Homomorphism in Intuitionistic Fuzzy Automata

A new modal operator over intuitionistic fuzzy sets

SOME INTUITIONISTIC FUZZY MODAL OPERATORS OVER INTUITIONISTIC FUZZY IDEALS AND GROUPS

A Note on Intuitionistic Fuzzy. Equivalence Relation

Intuitionistic Fuzzy Ideals of Near Rings

Homomorphism of Intuitionistic Fuzzy Groups

2 Composition. Invertible Mappings

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

Reminders: linear functions

ON THE DIAGRAM OF ONE TYPE MODAL OPERATORS ON INTUITIONISTIC FUZZY SETS: LAST EXPANDING WITH Z ω,θ

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

SOME PROPERTIES OF FUZZY REAL NUMBERS

New Operations over Interval Valued Intuitionistic Hesitant Fuzzy Set

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Congruence Classes of Invertible Matrices of Order 3 over F 2

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

EE512: Error Control Coding

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Every set of first-order formulas is equivalent to an independent set

A Note on Characterization of Intuitionistic Fuzzy Ideals in Γ- Near-Rings

1. Introduction and Preliminaries.

C.S. 430 Assignment 6, Sample Solutions

Homomorphism and Cartesian Product on Fuzzy Translation and Fuzzy Multiplication of PS-algebras

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Fractional Colorings and Zykov Products of graphs

Matrices and Determinants

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Statistical Inference I Locally most powerful tests

Strain gauge and rosettes

Operation Approaches on α-γ-open Sets in Topological Spaces

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Example Sheet 3 Solutions

Generating Set of the Complete Semigroups of Binary Relations

Tridiagonal matrices. Gérard MEURANT. October, 2008

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Lecture 2. Soundness and completeness of propositional logic

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Intuitionistic Supra Gradation of Openness

Srednicki Chapter 55

The Simply Typed Lambda Calculus

Trigonometry 1.TRIGONOMETRIC RATIOS

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

New bounds for spherical two-distance sets and equiangular lines

Other Test Constructions: Likelihood Ratio & Bayes Tests

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

4.6 Autoregressive Moving Average Model ARMA(1,1)

Inverse trigonometric functions & General Solution of Trigonometric Equations

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

Homework 3 Solutions

ΣΧΕΔΙΑΣΜΟΣ ΔΙΚΤΥΩΝ ΔΙΑΝΟΜΗΣ. Η εργασία υποβάλλεται για τη μερική κάλυψη των απαιτήσεων με στόχο. την απόκτηση του διπλώματος

Finite Field Problems: Solutions

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

J. of Math. (PRC) Banach, , X = N(T ) R(T + ), Y = R(T ) N(T + ). Vol. 37 ( 2017 ) No. 5

A General Note on δ-quasi Monotone and Increasing Sequence

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

F A S C I C U L I M A T H E M A T I C I

CRASH COURSE IN PRECALCULUS

Second Order Partial Differential Equations

12. Radon-Nikodym Theorem

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

w o = R 1 p. (1) R = p =. = 1

Fuzzifying Tritopological Spaces

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

On the Galois Group of Linear Difference-Differential Equations

ΣΔΥΝΟΛΟΓΗΚΟ ΔΚΠΑΗΓΔΤΣΗΚΟ ΗΓΡΤΜΑ ΗΟΝΗΧΝ ΝΖΧΝ «ΗΣΟΔΛΗΓΔ ΠΟΛΗΣΗΚΖ ΔΠΗΚΟΗΝΧΝΗΑ:ΜΔΛΔΣΖ ΚΑΣΑΚΔΤΖ ΔΡΓΑΛΔΗΟΤ ΑΞΗΟΛΟΓΖΖ» ΠΣΤΥΗΑΚΖ ΔΡΓΑΗΑ ΔΤΑΓΓΔΛΗΑ ΣΔΓΟΤ

Problem Set 3: Solutions

ST5224: Advanced Statistical Theory II

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

5. Choice under Uncertainty

The k-α-exponential Function

Generalized Point Operators for Aggregating Intuitionistic Fuzzy Information

On a four-dimensional hyperbolic manifold with finite volume

Section 8.3 Trigonometric Equations

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Takeaki Yamazaki (Toyo Univ.) 山崎丈明 ( 東洋大学 ) Oct. 24, RIMS

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp

Bounding Nonsplitting Enumeration Degrees

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΝΟΣΗΛΕΥΤΙΚΗΣ

ON INTUITIONISTIC PRODUCT FUZZY GRAPHS

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

On Intuitionistic Fuzzy LI -ideals in Lattice Implication Algebras

n=2 In the present paper, we introduce and investigate the following two more generalized

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ ΤΜΗΜΑ ΝΑΥΤΙΛΙΑΚΩΝ ΣΠΟΥΔΩΝ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΣΤΗΝ ΝΑΥΤΙΛΙΑ

Iterated trilinear fourier integrals with arbitrary symbols

ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ. «Προστασία ηλεκτροδίων γείωσης από τη διάβρωση»

Uniform Convergence of Fourier Series Michael Taylor

MINIMAL INTUITIONISTIC GENERAL L-FUZZY AUTOMATA

A summation formula ramified with hypergeometric function and involving recurrence relation

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Approximation of distance between locations on earth given by latitude and longitude

Vol. 31,No JOURNAL OF CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY Feb

Transcript:

Int. J. Nonlinear Anal. Appl. 8 (2017) No. 1, 11-21 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2017.11099.1542 The operators over the generalized intuitionistic fuzzy sets Ezzatallah Baloui Jamkhaneh Department of Statistics, Qaemshahr Branch, Islamic Azad University, Qaemshahr, Iran (Communicated by M. Eshaghi) Abstract In this paper, newly defined level operators and modal-like operators over extensional generalized intuitionistic fuzzy sets (GIF S B ) are proposed. Some of the basic properties of the new operators are discussed. Keywords: Generalized intuitionistic fuzzy sets; intuitionistic fuzzy sets; modal-like operators; level operators. 2010 MSC: 03E72. 1. Introduction Modal operators, topological operators, level operators, negation operators are different groups of operators over the intuitionistic fuzzy sets (IFS) due to Atanassov [2]. Atanassov [3] defined intuitionistic fuzzy modal operator of α A and α A. Then Dencheva [10] defined an extension of these operators as α,β A and α,β A. Atanassov [4] defined another extension of these operators as α,β,γ A and α,β,γ A. Atanassov [5] defined an operator as α,β,γ,η which is an extension of all the operators defined. In 2007, Cuvaleglu defined operator of E α,β over IF Ss and studied some of its properties. E α,β is a generalization of Atanassov s operator α A. Cuvalcoglu et al. [9] examined intuitionistic fuzzy operators with matrices and they examined algebraic structures of them. Atanassov [1] defined level operators P α,β, Q α,β. In 2008, he studied some relations between intuitionistic fuzzy negations and intuitionistic fuzzy level operators P α,β, Q α,β. In 2009, Parvathi and Geetha defined some level operators, max-min implication operators and P α,β, Q α,β operators on temporal intuitionistic fuzzy sets. Lupianez [11] show relations between topological operators and intuitionistic fuzzy topology. The intuitionistic fuzzy operators are important from the point of view application. The Email address: e baloui2008@yahoo.com (Ezzatallah Baloui Jamkhaneh) Received: February 2016 Revised: October 2016

12 Baloui Jamkhaneh intuitionistic fuzzy operators applied in contracting a classifier recognizing imbalanced classes, image recognition, image processing, multi-criteria decision making, deriving the similarity measure, sales analysis, new product marketing, medical diagnosis, financial services, solving optimization problems and etc. Baloui Jamkhaneh and Nadarajah [7] considered a new generalized intuitionistic fuzzy sets (GIF S B ) and introduced some operators over GIF S B. By analogy we shall introduce the some of operators over GIF S B and we will discuss their properties. 2. Preliminaries In this section we recall some of the basic definition of IFS which will be helpful in further study of the paper. Let X be a non empty set. Definition 2.1. (Atanassov, [1]) An IFS A in X is defined as an object of the form A = x, µ A (x), ν A (x) : x X where the functions µ A : X [0, 1] and ν A : X [0, 1] denote the degree of membership and non-membership functions of A respectively and 0 µ A (x) + ν A (x) 1 for each x X. Definition 2.2. (Baloui Jamkhaneh and Nadarajah, [7]) Generalized intuitionistic fuzzy sets (GIF S B ) A in X, is defined as an object of the form A = x, µ A (x), ν A (x) : x X where the functions µ A : X [0, 1] and ν A : X [0, 1] denote the degree of membership and degree of nonmembership functions of A respectively, and 0 µ A (x) δ + ν A (x) δ 1 for each x X where δ = nor 1, n = 1, 2,..., N. The collection of all our generalized intuitionistic fuzzy sets is denoted by n GIF S B (δ, X). Definition 2.3. (Baloui Jamkhaneh and Nadarajah, [7]) The degree of non-determinacy (uncertainty) of an element x X to the GIF S B A is defined by Definition π A (x) = (1 µ A (x) δ ν A (x) δ ) 1 δ 2.4. (Baloui Jamkhaneh and Nadarajah, [7]) Let A and B be two GIF S B s such that A = x, µ A (x), ν A (x) : x X, define the following relations and operations on A and B B = x, µ B (x), ν B (x) : x X, i. A B if and only if µ A (x) µ B (x) and ν A (x) ν B (x), x X, ii. A = B if and only if µ A (x) = µ B (x) and ν A (x) = ν B (x), x X, iii. A B = x, max(µ A (x), µ B (x)), min(ν A (x), ν B (x)) : x X, iv. A B = x, min(µ A (x), µ B (x)), max(ν A (x), ν B (x)) : x X, v. A + B = x, µ A (x) δ + µ B (x) δ µ A (x) δ µ B (x) δ, ν A (x) δ ν B (x) δ : x X, vi. A.B = x, µ A (x) δ.µ B (x) δ, ν A (x) δ + ν B (x) δ ν A (x) δ ν B (x) δ : x X, vii. Ā = x, ν A (x), µ A (x) : x X. Let X is a non-empty finite set, and A GIF S B, as A = x, µ A (x), ν A (x) : x X. Baloui Jamkhaneh and Nadarajah [7] introduced following operators of GIF S B and investigated some their properties viii. A = x, µ A (x), (1 µ A (x) δ ) 1 δ : x X, (modal logic: the necessity measure). ix. A = x, (1 ν A (x) δ ) 1 δ, ν A (x) : x X, (modal logic: the possibility measure).

The operators over the generalized intuitionistic fuzzy sets 8 (2017) No. 1, 11-21 13 3. Main results Here, we will introduce new operators over the GIF S B which extend some operators in the research literature related to IFS. Let X is a non-empty finite set. Definition 3.1. Letting α, β [0, 1]. For every GIF S B as A = x, µ A (x), ν A (x) : x X, we define the level operators as follows i. P α,β (A) = x, max(α 1 δ, µ A (x)), min(β 1 δ, ν A (x)) : x X, where α + β 1, ii. Q α,β (A) = x, min(α 1 δ, µ A (x)), max(β 1 δ, ν A (x)) : x X, where α + β 1. Theorem 3.2. For every A GIF S B and α, β, γ, η [0, 1], where α + β 1, γ + η 1, we have i. P α,β (A) GIF S B, ii. Q α,β (A) GIF S B, iii. P α,β (Ā) = Q β,α(a), iv. Q α,β (P γ,η (A)) = P min(α,γ),max(β,η) (Q α,β (A)), v. P α,β (Q γ,η (A)) = Q max(α,γ),min(β,η) (P α,β (A)), vi. P α,β (P γ,η (A)) = P max(α,γ),min(β,η) (P α,β (A)), vii. Q α,β (Q γ,η (A)) = Q min(α,γ),max(β,η) (Q α,β (A)), viii. P α,β (Q α,β (A)) = Q α,β (P α,β (A)) = x, α 1 δ, β 1 δ : x X, ix. Q α,β (A) A P α,β (A). Proof. (i) µ Pα,β (A)(x) δ + ν Pα,β (A)(x) δ = (max(α 1 δ, µa (x))) δ + (min(β 1 δ, νa (x))) δ, = max(α, µ A (x) δ ) + min(β, ν A (x) δ ) = I, (1) if max(α, µ A (x) δ ) = α and min(β, ν A (x) δ ) = β then I = α + β 1. (2) if max(α, µ A (x) δ ) = α and min(β, ν A (x) δ ) = ν A (x) δ then I = α + ν A (x) δ α + β 1. (3) if max(α, µ A (x) δ ) = µ A (x) δ and min(β, ν A (x) δ ) = β then I = µ A (x) δ + β µ A (x) δ + ν A (x) δ 1. (4) if max(α, µ A (x) δ ) = µ A (x) δ and min(β, ν A (x) δ ) = ν A (x) δ then I = µ A (x) δ + ν A (x) δ 1. The proof is completed. The Proof of (ii) is similar to that of (i). Proof of (iii) is obvious.

14 Baloui Jamkhaneh (iv) ( ) ( ) ) Q α,β (P γ,η (A)) = Q α,β ( x, max γ 1 δ, µa (x), min η 1 δ, νa (x) : x X, ( ) ( ) = x, min α 1 1 δ, max(γ δ, µa (x)), max β 1 1 δ, min(η δ, νa (x)) : x X, ( ) = x, max min(α 1 1 1 δ, γ δ ), min(α δ, µa (x)) ( ), min max(β 1 1 1 δ, η δ ), max(β δ, νa (x)) : x X, = P min(α,γ),max(β,η) x, min(α 1 δ, µa (x)), max(β 1 δ, νa (x)) : x X, = P min(α,γ),max(β,η) (Q α,β (A)). Since α + β 1, γ + η 1 then min(α, γ) + max(β, η) 1. (v) ( ) ( ) ) P α,β (Q γ,η (A)) = P α,β ( x, min γ 1 δ, µa (x), max η 1 δ, νa (x) : x X, ( ) ( ) = x, max α 1 1 δ, min(γ δ, µa (x)), min β 1 1 δ, max(η δ, νa (x)) : x X, ( ) = x, min max(α 1 1 1 δ, γ δ ), max(α δ, µa (x)) ( ), max min(β 1 1 1 δ, η δ ), min(β δ, νa (x)) : x X, = Q max(α,γ),min(β,η) x, max(α 1 δ, µa (x)), min(β 1 δ, νa (x)) : x X, = Q max(α,γ),min(β,η) (P α,β (A)). Since α + β 1, γ + η 1 then max(α, γ) + min(β, η) 1. The proof is completed. The Proofs of (vi), (vii) and (viii) are similar to that of (iv). The Proof of (ix) is obvious. Theorem 3.3. For every A GIF S B and α, β [0, 1], where α + β 1 we have i. P α,β (A B) = P α,β (A) P α,β (B), ii. P α,β (A B) = P α,β (A) P α,β (B), iii. Q α,β (A B) = Q α,β (A) Q α,β (B), iv. Q α,β (A B) = Q α,β (A) Q α,β (B). Proof.

The operators over the generalized intuitionistic fuzzy sets 8 (2017) No. 1, 11-21 15 (i) P α,β (A B) = x, max(α 1 δ, min(µa (x), µ B (x))), min(β 1 δ, max(νa (x), ν B (x))) : x X, ( ) ( ) = x, min max(α 1 δ, µa (x)), max(α 1 δ, µb (x)), max min(β 1 δ, νa (x)), min(β 1 δ, νb (x)) : x X = x, max(α 1 δ, µa (x)), min(β 1 δ, νa (x)) : x X x, max(α 1 δ, µb (x)), min(β 1 δ, νb (x)) : x X = P α,β (A) P α,β (B). (ii) P α,β (A B) = x, max(α 1 δ, max(µa (x), µ B (x))), min(β 1 δ, min(νa (x), ν B (x))) : x X, ( ) ( ) = x, max max(α 1 δ, µa (x)), max(α 1 δ, µb (x)), min min(β 1 δ, νa (x)), min(β 1 δ, νb (x)) : x X = x, max(α 1 δ, µa (x)), min(β 1 δ, νa (x)) : x X x, max(α 1 δ, µb (x)), min(β 1 δ, νb (x)) : x X = P α,β (A) P α,β (B) The proofs of (iii) and (iv) are similar to that of (i). Definition 3.4. Let α [0, 1] and A GIF S B, we define modal-like operators as follows i. α A = x, α 1 δ µ A (x), (αν A (x) δ + 1 α) 1 δ : x X, ii. α A = x, (αµ A (x) δ + 1 α) 1 δ, α 1 δ ν A (x) : x X. Definition as follows 3.5. Let α, β [0, 1] and A GIF S B, we define the first extension modal-like operators i. α,β A = x, α 1 δ µ A (x), (αν A (x) δ + β) 1 δ : x X, where α + β 1, ii. α,β A = x, (αµ A (x) δ + β) 1 δ, α 1 δ ν A (x) : x X, where α + β 1. Definition 3.6. Let α, β [0, 1] and A GIF S B, we define the operator E α,β A as follows E α,β A = x, (β(αµ A (x) δ + 1 α)) 1 δ, (α(βνa (x) δ + 1 β)) 1 δ : x X. Definition 3.7. Let α, β, γ, η [0, 1] and A GIF S B, where αβ + βγ + αγ 1 we define the operator E α,β,γ,η A as follows E α,β,γ,η A = x, (β(αµ A (x) δ + γ)) 1 δ, (α(βνa (x) δ + η)) 1 δ : x X. Theorem 3.8. For every A GIF S B and α, β, γ, η [0, 1], where αβ + βγ + αη 1, we have

16 Baloui Jamkhaneh i. E α,β,γ,η A GIF S B, ii. E α,1,γ,0 A = α,γ A, iii. E 1,β,0,η A = β,η A, iv. E α,1,1 α,0 A = α A, v. E 1,β,0,1 β A = β A. Proof. (i) µ Eα,β,γ,η A(x) δ + ν Eα,β,γ,η A(x) δ = ((β(αµ A (x) δ + γ)) 1 δ ) δ + ((α(βν A (x) δ + η)) 1 δ ) δ, = (αβµ A (x) δ + βγ) + (αβν A (x) δ + αη) = αβ(µ A (x) δ + ν A (x) δ ) + βγ + αη, αβ + βγ + αη 1. The proof is completed. The Proofs of (ii), (iii), (iv) and (v) are obvious. Definition 3.9. Let α, β [0, 1] and A GIF S B, we define the second extension modal-like operators as follows i. α,β,γ A = x, α 1 δ µ A (x), (βν A (x) δ + γ) 1 δ : x X, where max(α, β) + γ 1. ii. α,β,γ A = x, (αµ A (x) δ + γ) 1 δ, β 1 δ ν A (x) : x X, where max(α, β) + γ 1. Theorem 3.10. For every A GIF S B and α, β, γ, ε, η, λ [0, 1], where max(α, β) + γ 1, and max(ε, η) + λ 1, we have i. α,β,γ A GIF S B, ii. α,β,γ A GIF S B, iii. α,β,γ Ā = β,α,γ A, iv. α,β,γ ε,η,λ A = αε,βη,βλ+γ A, v. α,β,γ (A B) = α,β,γ A α,β,γ B, vi. α,β,γ (A B) = α,β,γ A α,β,γ B, vii. α,β,γ (A B) = α,β,γ A α,β,γ B, viii. α,β,γ (A B) = α,β,γ A α,β,γ B, ix. α,β,γ P ε,η (A) = P αε,βη+γ ( α,β,γ A), if αε + βη + γ 1, x. α,β,γ Q ε,η (A) = Q αε,βη+γ ( α,β,γ A), if αε + βη + γ 1, xi. α,β,γ P ε,η (A) = P αε,βη+γ ( α,β,γ A), if αε + βη + γ 1, xii. α,β,γ Q ε,η (A) = Q αε,βη+γ ( α,β,γ A), if αε + βη + γ 1,

The operators over the generalized intuitionistic fuzzy sets 8 (2017) No. 1, 11-21 17 Proof. (i) µ α,β,γ A(x) δ + ν α,β,γ A(x) δ = (α 1 δ µ A (x)) δ + ((βν A (x) δ + γ) 1 δ ) δ, = αµ A (x) δ + βν A (x) δ + γ max(α, β)µ A (x) δ + max(α, β)ν A (x) δ + γ, = max(α, β)(µ A (x) δ + ν A (x) δ ) + γ, max(α, β) + γ 1. The proof is completed. The Proof of (ii) is similar to that of (i). (iii) Since Ā = x, ν A(x), µ A (x) : x X, we have α,β,γ Ā = x, α 1δ νa (x), (βµ A (x) δ + γ) 1δ : x X, then α,β,γ Ā = x, (βµ A (x) δ + γ) 1 1 δ, α δ νa (x) : x X = β,α,γ A. The proof is completed. (iv) Since α,β,γ A = x, α 1δ µa (x), (βν A (x) δ + γ) 1δ : x X, ε,η,λ A = x, ε 1δ µa (x), (ην A (x) δ + λ) 1δ : x X, we have α,β,γ ε,η,λ A = x, α 1 1 δ ε δ µa (x), (β((ην A (x) δ + λ) 1 δ ) δ + γ) 1 δ : x X, = x, α 1 1 δ ε δ µa (x), (βην A (x) δ + βλ + γ) 1 δ : x X, = αε,βη,βλ+γ A. Since max(α, β) + γ 1, and max(ε, η) + λ 1, then max(αε, βη) + βλ + γ 1. (v) Since A B = x, min(µ A (x), µ B (x)), max(ν A (x), ν B (x)) : x X, we have α,β,γ (A B) = x, α 1δ min(µa (x), µ B (x)), (β(max(ν A (x), ν B (x))) δ + γ) 1δ : x X, = x, min(α 1δ µa (x), α 1δ µb (x)), (max((βν A (x) δ + γ) 1δ, (βνb (x) δ + γ) 1δ : x X, = α,β,γ A α,β,γ B. The proof is completed. The Proofs of (vi), (vii) and (viii) are similar to that of (v) (ix) Since P ε,η (A) = x, max(ε 1 δ, µa (x)), min(η 1 δ, νa (x)) : x X,

18 Baloui Jamkhaneh we have ( α,β,γ P ε,η (A) = x, α 1δ max ε 1 δ, µa (x) ), (β(min(η 1δ, νa (x))) δ + γ) 1δ : x X, ( = x, max α 1 1 1 δ ε δ, α δ µa (x) ), (min(βη + γ, βν A (x) δ + γ)) 1δ : x X, = P αε,βη+γ ( α,β,γ A). The proof is completed. Proofs (x), (xi) and (xii) are similar to that of (ix). If in operators α,β,γ A and α,β,γ A, we choose β = α and γ = β, then they are converted to the operators α,β A and α,β A, respectively. Therefore operators α,β,γ A and α,β,γ A are the extension of the α,β A and α,β A, respectively. If in operators α,β A and α,β A. we chooseβ = α and β = 1 α, then they are converted to the operators α A and α A, respectively. Therefore operators α,β A and α,β A are the extension of the α A and α A, respectively. That is i. α,α,β A = α,β A, α,α,1 α A = α,1 α A = α A, ii. α,α,β A = α,β A, α,α,1 α A = α,1 α A = α A. Therefore using Theorem 3.10, we have the following proposition: Proposition 3.11. For every A GIF S B and α, β, ε, η [0, 1], where α + β 1, and ε + η 1, we have i. α,β A GIF S B, ii. α,β A GIF S B, iii. α,β Ā = β,α A, iv. α,β ε,η A = αε,αη+β A, v. α,β (A B) = α,β A α,β B, vi. α,β (A B) = α,β A α,β B, vii. α,β (A B) = α,β A α,β B, viii. α,β (A B) = α,β A α,β B, ix. α,β P ε,η (A) = P αε,αη+β ( α,β A), if αε + αη + β 1, x. α,β Q ε,η (A) = Q αε,αη+β ( α,β A), if αε + αη + β 1, xi. α,β P ε,η (A) = P αε,αη+β ( α,β A), if αε + αη + β 1, xii. α,β Q ε,η (A) = Q αε,αη+β ( α,β A), if αε + αη + β 1. Proposition 3.12. For every A GIF S B and α, β, ε, η [0, 1], where ε + η 1, we have i. α A GIF S B, ii. α A GIF S B,

The operators over the generalized intuitionistic fuzzy sets 8 (2017) No. 1, 11-21 19 iii. α Ā = 1 α A, iv. α ε A = 1 αε A, v. α (A B) = α A α B, vi. α (A B) = α A α B, vii. α (A B) = α A α B, viii. α (A B) = α A α B, ix. α P ε,η (A) = P αε,αη+1 α ( α A), x. α Q ε,η (A) = Q αε,αη+1 α ( α A), xi. α P ε,η (A) = P αε,αη+1 α ( α A), xii. α Q ε,η (A) = Q αε,αη+1 α ( α A). Definition 3.13. Let α, β, γ, η [0, 1] and A GIF S B, we define the third extension modal-like operator as follows α,β,γ,η A = x, (αµ A (x) δ + γ) 1δ, (βνa (x) δ + η) 1δ : x X, max(α, β) + γ + η 1. Theorem 3.14. For every A GIF S B and α, β, γ, η, ε, θ, λ, τ [0, 1], max(α, β) + γ + η 1, max(ε, θ) + λ + τ 1 and ε + θ 1, we have i. α,β,γ,η A GF IS B, ii. α,β,0,η A = α,β,γ A, iii. α,β,γ,0 A = α,β,γ A, iv. α,β,γ,η Ā = β,α,η,γ A, v. α,β,γ,η ε,θ,λ,τ A = αε,βθ,αλ+γ,βτ+η A, vi. α,β,γ,η (A B) = α,β,γ,η A α,β,γ,η B, vii. α,β,γ,η (A B) = α,β,γ,η A α,β,γ,η B, viii. α,β,γ,η P ε,θ (A) = P αε+γ,βθ+η ( α,β,γ,η A), ix. α,β,γ,η Q ε,θ (A) = Q αε+γ,βθ+η ( α,β,γ,η A), Proof. (i) µ α,β,γ,η A(x) δ + ν α,β,γ,η A(x) δ = ((αµ A (x) δ + γ) 1 δ ) δ + ((βν A (x) δ + η) 1 δ ) δ, = αµ A (x) δ + γ + βν A (x) δ + η max(α, β)µ A (x) δ + max(α, β)ν A (x) δ + γ + η, = max(α, β)(µ A (x) δ + ν A (x) δ ) + γ + η max(α, β) + γ + η 1.

20 Baloui Jamkhaneh The proof is completed. The Proofs of (ii) and (iii) are obvious. (iv) Since Ā = x, ν A(x), µ A (x) : x X we have α,β,γ,η Ā = x, (αν A (x) δ + γ) 1δ, (βµa (x) δ + η) 1δ : x X, then α,β,γ,η Ā = x, (βµ A (x) δ + η) 1δ, (ανa (x) δ + γ) 1δ, : x X = β,α,η,γ A. The proof is completed. (v) Since α,β,γ,η A = x, (αµ A (x) δ + γ) 1δ, (βνa (x) δ + η) 1δ : x X, ε,θ,λ,τ A = x, (εµ A (x) δ + λ) 1δ, (θνa (x) δ + τ) 1δ : x X, hence α,β,γ,η αε,θ,λ,τ A = x, (εµ A (x) δ + αλ + γ) 1δ, (βθνa (x) δ + βτ + η) 1δ : x X, = αε,βθ,αλ+γ,βτ+η A The proof is completed. (vi) Since A B = x, min(µ A (x), µ B (x)), max(ν A (x), ν A (x)) : x X, we have α,β,γ,η (A B) = x, (α min(µ A (x), µ B (x)) δ + γ) 1δ, (β(max(νa (x), ν B (x))) δ + η) 1δ : x X, = x, min((αµ A (x) δ + γ) 1 δ, (αµb (x) δ + γ) 1 δ ), max((βνa (x) δ + η) 1 δ, (βνb (x) δ + γ) 1 δ : x X, = α,β,γ,η A α,β,γ,η B, The proof is completed. The Proof of (vii) is similar to that of (vi) (viii) Since P ε,θ (A) = x, max(ε 1 δ, µa (x)), min(θ 1 δ, νa (x)) : x X, we have ( ) δ α,β,γ,η P ε,θ (A) = x, (α max ε 1 δ, µa (x) + γ) 1 1 δ, (β min(θ δ, νa (x)) δ + η) 1 δ : x X, = x, max(αε + γ, αµ A (x) δ + γ) 1δ, (min(βθ + η, βνa (x) δ + η) 1δ : x X, = P αε+γ,βθ+η α,β,γ,η A. The proof is completed. The Proof of (ix) is similar to that of (viii).

The operators over the generalized intuitionistic fuzzy sets 8 (2017) No. 1, 11-21 21 4. Conclusions We have introduced level operators and modal-like operators over GIF S B and proved their relationships. An open problem is as follows: definition of negation operator and other types over GIF S B and study their properties. References [1] K.T. Atanassov, Intuitionistic fuzzy sets, Springer Physica-Verlag, Heidelberg, 1999. [2] K.T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Sets Syst. 20 (1986) 87 96. [3] K.T. Atanassov, Remark on two operations over intuitionistic fuzzy sets, Int. J. of Uncertainty, Fuzziness Knowledge Syst. 9 (2001) 71 75. [4] K.T. Atanassov, The most general form of one type of intuitionistic fuzzy modal operators, NIFS. 12 (2006) 36 38. [5] K.T. Atanassov, Some properties of the operators from one type of intuitionistic fuzzy modal operators, Adv. Studies Contemporary Math. 15 (2007) 13 20. [6] K.T. Atanassov, On intuitionistic fuzzy negation and intuitionistic fuzzy level operators, NIFS. 14 (2008) 15 19. [7] E. Baloui Jamkhaneh and S. Nadarajah, A new generalized intuitionistic fuzzy sets, Hacettepe J. Math. Stat. 44 (2015) 1537 1551. [8] G. Cuvalcoglu, Some properties of E α,β operator, Adv. Studies Contemporary Math. 14 (2007) 305 310. [9] G. Cuvalcoglu., S. Ylmaz and K.T. Atanassov, Matrix representation of the second type of intuitionistic fuzzy modal operators, Notes Intuitionistic Fuzzy Set. 20 (2014) 9 16. [10] K. Dencheva, Extension of intuitionistic fuzzy modal operators and, In Intelligent Systems, 2004. Proceedings. 2004 2nd International IEEE Conference (Vol. 3, pp. 21 22). IEEE. [11] F.G. Lupianez, Intuitionistic fuzzy topology operators and topology, IEEE Symp. Int. J. Pure Appl. Math. 17 (2004) 35 40. [12] R. Parvathi and S.P. Geetha, A note on properties of temporal intuitionistic fuzzy sets, Notes Intuitionistic Fuzzy Set. 15 (2009) 42 48.