We construct the exponential graph of a proof in (second order) linear logic, an artefact displaying the interdependencies of ex-ponentials in. Within this graph superruous exponentials are deened, the removal of which is shown to yield a correct proof. with essentially the same set of reductions. Applications to intuitionistic and classical proofs are given by means of reduction-preserving emb...

We considers how a particular kind of graph corresponds to multiplicative intuitionistic linear logic formula. The main feature of the graphical notation is that it absorbs certain symmetries between conjunction and implication. We look at the basic definitions and present details of an implementation in the functional programming language Standard ML. This provides a functional approach to gra...

a flood warning system is a non-structural measure for flood mitigation. several parameters are responsible for flood related disasters. this work  illustrates an ordered intuitionistic fuzzy analysis that has the capability to simulate the unknown relations between a set of meteorological and hydrological parameters. in this paper, we first define ordered intuitionistic fuzzy soft sets and est...

in this note, by considering the notions of the intuitionistic general l-fuzzy automaton and $(alpha, beta)$-language, we show that for any $(alpha, beta)$-language $mathcal{l}$, there exists a minimal intuitionistic general l-fuzzy automaton recognizing $mathcal{l}$.we prove that the minimal intuitionistic general l-fuzzy automaton is isomorphic with threshold $(alpha,beta)$ to any $(alpha, be...

In this note, by considering the notions of the intuitionistic general L-fuzzy automaton and $(alpha, beta)$-language, we show that for any $(alpha, beta)$-language $mathcal{L}$, there exists a minimal intuitionistic general L-fuzzy automaton recognizing $mathcal{L}$.We prove that the minimal intuitionistic general L-fuzzy automaton is isomorphic with threshold $(alpha,beta)$ to any $(alpha, be...

in this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. afterwards, the a...

In this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. Moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. Afterwards, the A...

First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...

In this paper, we define Some domination parameters on IVIFG and derive some relations and then verify by using Interval valued intuitionistic fuzzy graphs and discussed some properties. Also, we introduced Immoderate semi-complete IVIFG and its properties.