Efficient, automated elimination of cuts is a prerequisite for proof analysis. The method CERES, based on Skolemization and resolution has been successfully developed for classical logic for this purpose. We generalize this method to Gödel logic, an important intermediate logic, which is also one of the main formalizations of fuzzy logic.

We study some properties of interval-valued fuzzy normal subgroups of a group. In particular, we obtain two characterizations of interval-valued fuzzy normal subgroups. Moreover, we introduce the concept of an interval-valued fuzzy coset and obtain several results which are analogous of some basic theorems of group theory.

Many problems arise in practical applications when data is extracted from a group of experts, all of whom do not collectively agree. The theory of Type 2 Fuzzy Multisets is capable of modelling these types of uncertainties in decision making. The purpose of this paper is to introduce the study of various algebraic structures of Type 2 Fuzzy Multisets. As a beginning of this study, the concept o...

security term in mobile ad hoc networks has several aspects because of the special specification of these networks. in this paper a distributed architecture was proposed in which each node performed intrusion detection based on its own and its neighbors’ data. fuzzy-neural interface was used that is the composition of learning ability of neural network and fuzzy ratiocination of fuzzy system as...

A neural fuzzy system learning with linguistic teaching signals is proposed in this paper. This system is able to process and learn numerical information as well as linguistic information. It can be used either as an adaptive fuzzy expert system or as an adaptive fuzzy controller. At first, we propose a fivelayered neural network for the connectionist realization of a fuzzy inference system. Th...

The aim of this paper is to introduce the concepts of fuzzy strong h-ideals and fuzzy congruences of hemirings. The quotient hemirings via fuzzy strong h-ideals are investigated. The relationships between fuzzy congruences and fuzzy strong h-ideals of hemirings are discussed. Pay attention to an open question on fuzzy congruences. Finally, the normal fuzzy strong h-ideals of hemirings are explo...

Ranking fuzzy numbers plays a main role in many applied models inreal world and in particular decision-making procedures. In manyproposed methods by other researchers may exist some shortcoming.The most commonly used approaches for ranking fuzzy numbers isbased on defuzzification method. Many ranking fuzzy numberscannot discriminate between two symmetric fuzzy numbers withidentical core. In 200...

In this paper intuitionistic fuzzy pushdown automata, acceptance by empty stack and acceptance by final states and their equivalence is proved. It follows that intuitionistic fuzzy pushdown automata with empty stack and IFPDAs are equivalent. We propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs), intuitionistic fuzzy languages generated by IFCFGs. Additionally, we introd...

First order Gödel logic G∞, enriched with the projection operator 4—in contrast to other important t-norm based fuzzy logics, like Lukasiewicz and Product logic—is well known to be recursively axiomatizable. However, unlike in classical logic, testing (1-)unsatisfiability, i.e., checking whether a formula has no interpretation that assigns the designated truth value 1 to it, cannot be straightf...