Congruence closure algorithms are nowadays central in many modern applications in automated deduction and verification, where it is frequently required to recover the set of merge operations that caused the equivalence of a given pair of terms. For this purpose we study, from the algorithmic point of view, the problem of extracting such small proofs. Union-find data structures maintain the equi...

This paper presents a practical approach of nonlinear control of the F16 aircraft via multiple nonlinear model generation for any trimmed equilibriums. The approach is realized using the framework of a Takagi-Sugeno (T-S) fuzzy modeling and control. The nonlinear control algorithm consists of three parts. The first part determines a trimmed equilibrium of the F16 dynamics for a given desired fl...

In this paper, following the ideas of (continuous) t-norm and interval numbers, a concept of (continuous) interval-valued t-norm is proposed. Based on the interval-valued fuzzy set and the continuous interval-valued t-norm, we propose a notion of interval-valued fuzzy metric space, which is a generalization of fuzzy metric space in the sense of George and Veeramani [Fuzzy Sets and Systems 64 (1...

Recommended by Akbar Rhemtulla We introduce the notion of fuzzy ideals in nearrings with respect to a t-norm T and investigate some of their properties. Using T-fuzzy ideals, characterizations of Artinian and Noetherian nearrings are established. Some properties of T-fuzzy ideals of the quotient nearrings are also considered.

In this paper, we deal with Molaei’s generalized groups. We definethe notion of a fuzzy generalized subgroup with respect to a t-norm (orT-fuzzy generalized subgroup) and give some related properties. Especially,we state and prove the Representation Theorem for these fuzzy generalizedsubgroups. Next, using the concept of continuity of t-norms we obtain a correspondencebetween TF(G), the set of ...

BACKGROUND Musculoskeletal disorders specially knee osteoarthritis are the most common causes of morbidity in old patients. Disturbance of the mechanical axis of the lower extremity is one of the most important causes in progression of knee osteoarthritis. The purpose of the present study was to analyze the surgical results of distal femoral varus osteotomy in patients with genu valgum. METHO...

It is given a new algorithm to compute a lower T-transitive approximation of a fuzzy relation that preserves symmetry. Given a reflexive and symmetric fuzzy relation, the new algorithm computes a T-indistinguishability that is contained in the fuzzy relation. It has been developed a C++ program that generates random symmetric fuzzy relations or random symmetric and reflexive fuzzy relations and...

In this paper, we study fuzzy congruence relations and kernel ideals of an Ockham algebra A , f , whose truth values are in a complete lattice satisfying the infinite meet distributive law. Some equivalent conditions derived for ideal...

In this paper are introduced some concepts of interval-valued fuzzy relations and some of their properties: reflexivity, symmetry, T-transitivity, composition and local reflexivity. The existence and uniqueness of T-transitive closure of interval-valued fuzzy relations is proved. An algorithm to compute the T-transitive closure of finite interval-valued fuzzy relations is showed. Some propertie...