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.

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic that gives an account of layering. The logic is a bunched system, combining the usual intuitionistic connectives, together with a non-commutative, non-associative conj...

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...

Our understanding of basic reasoning with diagrams can be better grasped by observing the following picture:

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...