Implication functions in interval-valued fuzzy set theory

Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees. Since implications on the unit interval play an important role in fuzzy set theory, several authors have extended this notion to interval-valued fuzzy set theory. This chapter gives an overview of the results pertaining to implications in interval-valued fuzzy set theory. In particular, we describe several possibilities to represent such implications using implications on the unit interval, we give a characterization of the implications in interval-valued fuzzy set theory which satisfy the Smets-Magrez axioms, we discuss the solutions of a particular distributivity equation involving strict t-norms, we extend monoidal logic to the interval-valued fuzzy case and we give a soundness and completeness theorem which is similar to the one existing for monoidal logic, and finally we discuss some other constructions of implications in interval-valued fuzzy set theory

Triangular norms which are join-morphisms in 3-dimensional fuzzy set theory

The n-dimensional fuzzy sets have been introduced as a generalization of interval-valued fuzzy sets, Atanassov's intuitionistic and interval-valued intuitionistic fuzzy sets. In this paper we investigate t-norms on 3-dimensional sets which are join-morphisms. Under some additional conditions we show that they can be represented using a representation which generalizes a similar representation for t-norms in interval-valued fuzzy set theory

Quasi-arithmetic means and OWA functions in interval-valued and Atanassov's intuitionistic fuzzy set theory

In this paper we propose an extension of the well-known OWA functions introduced by Yager to interval-valued (IVFS) and Atanassov’s intuitionistic (AIFS) fuzzy set theory. We first extend the arithmetic and the quasi-arithmetic mean using the arithmetic operators in IVFS and AIFS theory and investigate under which conditions these means are idempotent. Since on the unit interval the construction of the OWA function involves reordering the input values, we propose a way of transforming the input values in IVFS and AIFS theory to a new list of input values which are now ordered

Biography of David F. Cavers

A method for backstepping control of rigid body motion is proposed. The control variables are torques and the force along the axis of motion. The proposed control law and lyapunov function guarantee asymptotic stability from all initial values except one singular point

Organ Transplantation in Medical and Legal Perspectives

A modeling framework for the class of piecewise linear switched systems is presented. Methods for abstraction using conservative discrete approximations are introduced and model checking is used for verifying specifications. A fairly complex example is treated, the main result being that abstraction is a promising tool for fully automated verification

The Political Subdivision Exception of the National Labor Relations Act and the Board‘s Discretionary Authority

Modern modeling tools often give descriptor or DAE models, i.e., models consisting of a mixture of differential and algebraic relationships. The introduction of stochastic signals into such models in connection with filtering problems raises several questions of well-posedness. The main problem is that the system equations may contain hidden relationships affecting variables defined as white noise. The result might be that certain physical variables get infinite variance or contain formal differentiations of white noise. The paper gives conditions for well-posedness in terms of certain subspaces defined by the system matrices