We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced by Takeuti and Titani to formulate an intuitionistic set theory and an intuitionistic fuzzy set theory together with their metatheories. Here we define analytic Gentzen style calculi for GI and GIF. Among other things,...

During years of research, there have been defined 153 intuitionistic fuzzy implications. In the paper, it is checked which of these implications satisfy which axioms of the intuitionistic logic, whether as (classical) tautologies or as intuitionistic fuzzy tautologies. Some open problems, related to the operations of intuitionistic fuzzy propositional calculus, are formulated.

in this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example Intuitionistic Logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the Basic Logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models...

in this paper we define intuitionistic fuzzy metric and normedspaces. we first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. in section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. finally,we consider some properties of...

In Geoinformation systems (GIS) there is a need to model spatial regions with indeterminate boundary and under uncertainties. Although fuzzy logic methods are of great interest in many GIS applications, the traditional fuzzy logic has two important deficiencies. First, to apply the fuzzy logic, we need to assign, to every property and for every value, a crisp membership function. Second, fuzzy ...

in this note we consider the notion of intuitionistic fuzzy (weak) dual hyper k-ideals and obtain related results. then we classify this notion according to level sets. after that we determine the relationships between intuitionistic fuzzy (weak) dual hyper k-ideals and intuitionistic fuzzy (weak) hyper k-ideals. finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

Defuzzification is the process of converting a fuzzy quantity to precise quantity, just as fuzzification is the conversion of a precise quantity to a fuzzy quantity. Various types of defuzzification methods, are available for conversion of fuzzy to non-fuzzy. In this paper, defuzzification functions in intuitionistic fuzzy environment such as triangular, trapezoidal, L-trapezoidal, R-trapezoida...

Indeterminacy makes the main distinction between fuzzy/intuitionistic fuzzy (and other extensions of fuzzy) set/logic vs. neutrosophic set/logic, and classical probability probability. Also, statistics plithogenic statistics, algebraic structures structures, crisp numbers numbers. We present a broad definition indeterminacy, various types indeterminacies, many practical applications.