We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, generalise these results to modal (dual- bi-)intuitionistic logics. Our main technical tools are image-compact pre-image-compact relations that provide a semantical description of saturation properties.

We have presented trapezoidal intuitionistic fuzzy number. Arithmetic operations of trapezoidal intuitionistic fuzzy number is presented based on (α, β)-cuts. We have presented intuitionistic fuzzy fault tree analysis using trapezoidal intuitionistic fuzzy number. In application of intuitionistic fuzzy fault tree analysis, we have computed failure of fire protection system taking failure of eac...

in this paper, we introduce some properties of an intuitionistic normal fuzzy m-subgroup of m- group with m-homomorphism and isomorphism. we study he image, the pre-image and the inverse mapping of the intuitionistic normal fuzzy m-‎subgroups.‎

This paper is devoted to the study of intuitionistic fuzzy topological spaces. In this paper an intuitionistic fuzzy generalized pre-closed sets and an intuitionistic fuzzy generalized pre-open sets are introduced. Some of its properties are studied. Also we have provided some applications of intuitionistic fuzzy generalized pre-closed sets namely intuitionistic fuzzy pT1/2 space and intuitioni...

In this study, a minimal submaximal element of LIT(X) (the lattice of all intuitionistic topologies for X, ordered by inclusion) is determined. Afterwards, a new contractive property, intuitionistic mega-connectedness, is defined. We show that the submaximality and mega-connectedness are not complementary intuitionistic topological invariants by identifying those members of LIT(X) which are int...

In this paper, Symmetric Trapezoidal Intuitionistic Fuzzy Numbers (STIFNs) have been introduced and their desirable properties are also studied. A new type of intuitionistic fuzzy arithmetic operations for STIFN have been proposed based on ( , )   -cuts. A numerical example is considered to elaborate the proposed arithmetic operations. These operations find applications in solving linear prog...

The relationship between the intuitionistic fuzzy sets and the algebraic hyperstructures is described in this paper. The concept of the quasi-coincidence of an intuitionistic fuzzy interval valued with an interval-valued intuitionistic fuzzy set is introduced and this is a natural generalization of the quasi-coincidence of an intuitionistic fuzzy point in intuitionistic fuzzy sets. By using thi...

the object of this paper is to introduce the notion of intuitionisticfuzzy continuous mappings and intuitionistic fuzzy bounded linear operatorsfrom one intuitionistic fuzzy n-normed linear space to another. relation betweenintuitionistic fuzzy continuity and intuitionistic fuzzy bounded linearoperators are studied and some interesting results are obtained.

We investigate some new properties of intuitionistic fuzzy competition graphs. We present the construction of intuitionistic fuzzy competition graph. We study new type of intuitionistic fuzzy graphs by considering intuitionistic fuzzy open neighbourhood and intuitionistic fuzzy closed neighbourhood of the vertices. We also present an application of intuitionistic fuzzy competition graphs. c ©20...

Abstract: In this paper we define the concept of (∈, ∈ ∨qk)-intuitionistic fuzzy h-ideals, (∈, ∈ ∨qk)-intuitionistic fuzzy h-bi-ideals, (∈, ∈ ∨qk) ∗-intuitionistic fuzzy h-quasi-ideals of hemiring. And also characterized h-hemiregular and h-intra-hemiregular hemiring by the properties of these (∈, ∈ ∨qk)-intuitionistic fuzzy h-ideals, (∈, ∈ ∨qk)-intuitionistic fuzzy h-bi-ideals, and (∈, ∈ ∨qk)i...