This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is ...

A linear programming technique is used to decompose agricultural total factor productivity change in China’s provinces during the period 1985 to 1994. The method allows the decomposition of productivity growth into two mutually exclusive and exhaustive parts: technological change and changes in pure technical efficiency. The decomposition provides a natural way to differentiate innovations from...

1 Quantales In this section we introduce the basic deenitions and results of the theory of quantales (a good reference is Ros]). Quantales were introduced by Mulvey ((Mul]) as an algebraic tool for studying representations of non-commutative C-algebras. Informally, a quantale is a complete lattice Q equipped with a product distributive over arbitrary sup's. The importance of quantales for Linea...

in this paper, we introduce a satisfaction function (sf) to compare interval values on the basis oftseng and klein’s idea. the sf estimates the degree to which arithmetic comparisons between two intervalvalues are satisfied. then, we define two other functions called lower and upper sf based on the sf. weapply these functions in order to present a new interpretation of inequality constraints wi...

We consider linear equality systems where all the parameters may be fuzzy variables specified by their possibility distribution, the operations addition and multiplication by a real number of fuzzy parameters are defined via a suptriangular norm composition, and the equations are understood in possibilistic sense. We show that when the triangular norm defining the operations and equations is co...

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

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