In this paper, we introduce the concept of bipolar-valued fuzzification of ordered AG-groupoids and discuss some structural properties of bipolarvalued fuzzy two-sided ideals of an intra-regular ordered AG-groupoid.

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

Global economic competition has spurred the manufacturing sector to improve and invest in modern equipment to satisfy the needs of the market. In particular, machine tool selection is the most important problem; it plays a primary role in the improvement of productivity and flexibility in the manufacturing environment and involves the imprecise, vague and uncertain information. This paper prese...

We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which any sentence in the first-order fuzzy predicate calculus is a well-formed constraint statement. Finally, using Khayyam to address an equipment selection application, we illustrate the expressive power of fuzzy constrai...

Although Dubois and Prade’s fuzzy elements and gradual sets cannot be represented as objects or fuzzy predicates in first-order versions of known systems of propositional fuzzy logic, they can be represented in higher-order fuzzy logic. However, this logical representation does not simplify handling these notions, compared to informal semantic methods of traditional fuzzy mathematics. Finding a...

This paper presents a new way to design a Fuzzy Terminal Iterative Learning Control (TILC) to control the heater temperature setpoints of a thermoforming machine. This fuzzy TILC is based on the inverse of a fuzzy model of this machine, and is built from experimental (or simulation) data with kriging interpolation. The Fuzzy Inference System usually used for a fuzzy model is the zero order Taka...

Inventory model under risk that demand is uncertain is recognized. In this paper, the fuzzy demand per day and fuzzy lead time on a cycle in fuzzy inventory control system are assumed to trapezoidal distribution, trapezoidal fuzzy number by decision maker. A fuzzy inventory model under manager’s preference for order quantity is presented first. This model is given by fuzzy total annual inventor...

This paper addresses the strategic level of Hybrid Make-To-Stock (MTS)/Make-To-Order (MTO) production contexts using Fuzzy Analytic Network Process (FANP). The decisions which are involved in this level are family formation and order partitioning. First, a family formation procedure is developed; then, a fuzzy analytic network process is proposed to tackle partitioning decision. Since strategic...

Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) calculi. Its most important use is as a crucial step in establishing standard completeness for syntactic presentations of fuzzy logics; that is, completeness with respect to algebras based on the real unit interval [0, 1]...

In the previous years some authors have been elaborating on the measurementtheoretic foundations of fuzzy set theory. A well-known problem in this approach is the difficult applicability of the deterministically formulated axioms on data obtained from an expert (or social science data in general). In this paper a statistical method is proposed which can be used for the testing of measurement ax...