In flexible manufacturing environments, the performance of a production system is often affected by the sequence of operation. While performance evaluation, improvement and lean design of production system have been studied extensively, the joint effect of productivity and quality parameters on operation sequencing remains practically unexplored. Indeed, determining the optimal operation sequen...

In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

In this paper, the notion of fuzzy semicompactness degrees isintroduced in $L$-fuzzy topological spaces by means of theimplication operation of $L$. Characterizations of fuzzysemicompactness degrees in $L$-fuzzy topological spaces  areobtained, and some properties of fuzzy semicompactness degrees areresearched.

Many diierent fuzzy implication operators have been proposed; most of them t into one of the two classes: implication operations that are based on an explicit representation of implication A ! B in terms of &, _, and : (e.g., S-implications that are based on the formula B _ :A), and R-implications that are based on an implicit representation of implication A ! B as the weakest C for which C&B i...

Using Generalized Modus Ponens reasoning, we examine the values of the inferred conclusion by using Fodor's implication in order to interpret a fuzzy if-then rule with a single input single output and the tnorm ( ) ( )( ) ( xy y x max y , x t ) λ λ − − + + = 1 1 , 1 − ≥ λ , for composition operation. This t-norm is important to use because for 1 − = λ and 0 = λ it gives the commonly used t-norm...

This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...

J. Vaz De Carvalho and T. Almada in A generalization of the Lukasiewicz algebras, Studia Logica 69 (2001), 329-338 introduced the variety Ln , m ≥ 1, n ≥ 2, of m–generalized Lukasiewicz algebras of order n as a generalization of Lukasiewicz algebras of order n and a particular case of Ockham algebras. In this note, bearing in mind the important role that weak implication played in the study of ...

We introduce the concept of a ⊗-closed set and a ⊗-homomorphism in lattice implication algebras, and we discuss some of their properties. Next, we introduce the fuzzy implicative filter and obtain equivalent conditions. Finally, we discuss the operation ⊗, fuzzy filters, and fuzzy implicative filters. 2000 Mathematics Subject Classification. 03G10, 06B10, 94D05.