The aim of this paper is to introduce a fuzzy control model with well{founded semantics in order to explain the concepts applied in fuzzy control. Assuming that the domains of the input{ and output variables for the process are endowed with equality relations, that reeect the indistinguishability of values lying closely together, the use of triangular and trapezoidal membership functions can be...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

The Constraint Hierarchy (CH) framework is used to tackle multiple criteria selection (MCS), consisting of a set of candidates and a set of, possibly competing, criteria for selecting the \best" candidate(s). In this paper, we identify aspects of the CH framework for further enhancement so as to model and solve MCS problems more accurately. We propose the Fuzzy Constraint Hierarchies framework,...

The concept of intuitionistic fuzzy sets is becoming very popular day by among mathematicians and researchers from other areas science. It has been noticed that some operators have interesting properties in Intuitionistic sets. That why these are investigated this study. New findings on equality obtained proved.

The linear multiobjective transportation problem is a special type of vector minimum problem in which constraints are all equality type and the objectives are conicting in nature. This paper presents an application of fuzzy goal programming to the linear multiobjective transportation problem. In this paper, we use a special type of nonlinear (hyperbolic and exponential) membership functions to ...

In a word, sometimes. And it gets harder if the structure on L is not commutative. In this paper we consider the question of what properties are needed on the lattice L equipped with an operation * for several different kinds of categories built using Sets and L to have monoidal and monoidal closed structures. This works best for the Goguen category Set(L) in which membership, but not equality,...

Data envelopment analysis (DEA) is a widely used mathematical programming approach for comparing the input and output of a set of comparable decision-making units (DMUs) by evaluating their relative efficiency. The traditional DEA methods require accurate measurement of both the inputs and outputs. However, the real evaluation of the DMUs is often characterized by imprecision and uncertainty in...

In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...

Abstract. Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counte...