This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first an...

Intuitionistic fuzzy relations on finite universes can be represent by intuitionistic fuzzy matrices and the limiting behavior of the power matrices depends on the algebraic operation employed on the matrices. In this paper, the power of intuitionistic fuzzy matrices with maxarithmetic mean-minarithmetic mean operation have been studied. Here it is shown that the power of intuitionistic fuzzy m...

Park et al. (2011) introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, the concept of generalized intuitionistic fuzzy soft equality is introduced and some related properties are derived. It is proved that generalized intuitionistic fuzzy soft equality is congruence relation with res...

A new concept to the optimization problem in an intuitionistic fuzzy environment is introduced. A general model, of linear programming problems in which both the right hand side constants and the technological coefficients are intuitionistic fuzzy numbers, has been presented. An attempt has been made to find a general linear non-membership function and intuitionistic fuzzy index together with t...

In this paper, the concept of intuitionistic fuzzy congruence relation on a residuated lattice is introduced and its properties is studied. The relationship between intuitionistic fuzzy filters and intuitionistic fuzzy congruence relations on a residuated lattice is obtain. Then the intuitionistic fuzzy congruence relation corresponding to a given intuitionistic fuzzy filter on residuated latti...

In this paper, we firstly propose some generalized prioritized aggregation operators to aggregate the intuitionistic fuzzy values (IFVs), such as the generalized intuitionistic fuzzy prioritized weighted geometric (GIFPWG) operator and the generalized intuitionistic fuzzy prioritized weighted average (GIFPWA) operator. It is shown that some existing intuitionistic fuzzy aggregation operators ar...

Let G = (V,E) be the IFG and D be set of vertices, then D is said to be Intuitionistic point set dominating set of G if for every S⊆ VD there exists a node d ∈ D such that the Intuitionistic fuzzy sub graph < S∪{d} > induced by S∪{d} is a connected Intuitionistic fuzzy graph. In this paper we study some results on Intuitionistic Point set dominating set and its number of IFGs. Also we establish...

1: Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2: Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3: The Classical Calculus . . ....

Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But her subsequent “cut-free” sequent calculus has recently been shown to fail cut-elimination. We present a new cut-free sequent calculus for bi-intuitionistic logic, and prove it sound and complete with respect to its Kr...

This paper is a study about the relationships among topologies and intuitionistic fuzzy topology induced, respectively, by approximation operators and an intuitionistic fuzzy approximation operator associated with an approximation space (X,R), when the relation R on X is precisely reflexive and transitive. In particular, we consider an intuitionistic fuzzy approximation operator on an approxima...