In this paper, a new method is proposed to find the fuzzy optimal solution of fully fuzzy linear programming (abbreviated to FFLP) problems. Also, we employ linear programming (LP) with equality constraints to find a nonegative fuzzy number vector x which satisfies Ax =b, where A is a fuzzy number matrix. Then we investigate the existence of a positive solution of fully fuzzy linear system (FFLS).

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...

We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics...

In earlier work, we introduced the notion of the F-histogram and demonstrated that it can be of great use in understanding the spatial organization of regions in images. Moreover, we have recently designed Fhistograms coupled with mutually exclusive and collectively exhaustive relations between line segments. These histograms constitute a valuable tool for extracting topological relationship in...

We propose a new measure of fuzzy equality comparison based on the similarity of possibility distributions. we define a fuzzy equi–join based on the new fuzzy equality comparison, and allow threshold values to be associated with predicates of the join condition. A sort–merge join algorithm based on a partial order of intervals is used to evaluate the fuzzy equi-join. In order for the evaluation...

Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...

A special algebra called EQ-algebra has been recently introduced by Vilém Novák. Its original motivation comes from fuzzy type theory, in which the main connective is fuzzy equality. EQ-algebras have three binary operations meet, multiplication, fuzzy equality and a unit element. They open the door to an alternative development of fuzzy (manyvalued) logic with the basic connective being fuzzy e...

In this paper, a new method is proposed to find the fuzzy optimal solution of fully fuzzy linear programming (abbreviated to FFLP) problems. Also, we employ linear programming (LP) with equality constraints to find a non-negative fuzzy number vector x̃ which satisfies Ãx̃ = b̃, where à is a fuzzy number matrix. Then we investigate the existence of a positive solution of fully fuzzy linear system (...

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...

In this paper, we formulate a multiobjective fuzzy random simple recourse programming problem, in which fuzzy random variables coefficients are involved in equality constraints. In the proposed method, equality constraints with fuzzy random variables are defined on the basis of a possibility measure and and a two-stage programming method. For a given permissible possibility level specified by t...