In order to obtain the information from an L-Fuzzy context, the complete relation between the objects and the attributes is needed. However, the contexts that model many situations have absent values. To solve this problem, at the beginning of the paper we remind the interval-valued linguistic variable definition and, later, we propose an extension of the fuzzy propositions to the interval-valu...

This paper presents a systematic approach to implementing fuzzy parsers. A fuzzy parser is a form of syntax analyzer that performs analysis on selected portions of its input rather than performing a detailed analysis of a complete source text. Fuzzy parsers are often components of software tools and also of program development environments that extract information from source texts. This paper ...

State reduction of fuzzy automata has been studied by many authors. All of them have dealt with classical fuzzy automata over the Gödel structure and reduction has been done using crisp equivalence relations. In [2, 3, 7] we have made several innovations. We have studied fuzzy automata over a more general structure of truth values, over a complete residuated lattice, we have shown that better r...

This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory ( I n ) [l], possibility theory [2], fuzzy rough sets [4], and vague logic [ 5 ] . Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed...

Gregori and Romaguera introduced, in 2004, the notion of a KM-fuzzy quasi-metric space as natural asymmetric generalization concept fuzzy metric sense Kramosil Michalek. Ever since, various authors have discussed several aspects such spaces, including their topological (quasi-)metric properties well connections with domain theory relationship other structures. In particular, development fixed p...

The author proposed concepts of Operator Fuzzy Logic and-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces-paramodulation to handle a set of clauses with the predicate of equality, and thus the equality substitution can be used in fuzzy reasoning. Then the-paramodulation method is proved to be complete with lock-semantic method. Finally, Ya...

Kaneko et al.[4] etc many authors extended with multi-valued maps for the notion of compatible maps in complete metric space. Recently, O’Regan et al.[5] presented fixed point and homotopy results for compatible single-valued maps on complete metric spaces. In this paper, we will establish some common fixed point theorems using compatible maps in intuitionistic fuzzy metric space. : Common fixe...