Belief functions are generalized to formulas in Lukasiewicz logic. It is shown that they generalize probabilities on formulas (so-called states) and that they are completely monotone mappings with respect to the lattice operations.

In this paper, we define new decision procedures for Łukasiewicz logics. They are based on particular integer-labelled hypersequents and of logical proof rules for such hypersequents. These rules being proved strongly invertible our procedures naturally allow one to generate countermodels. From these results we define a “merge”-free calculus for the infinite version of Łukasiewicz logic and pro...

BACKGROUND The assessment of fat mass and fat-free mass in relation to the symptom-limited maximal exercise duration (Max(dur)) of a treadmill test allows for insight into the association of body composition with treadmill performance potential. OBJECTIVE We investigated the complex associations between fat mass and fat-free mass and Max(dur) in a population setting. DESIGN The Max(dur) of ...

The Dual Imaging Cerenkov Experiment (DICE) was designed and operated for making elemental composition measurements of cosmic rays near the knee of the spectrum at several PeV. Here we present the first results using this experiment from the measurement of the average location of the depth of shower maximum, < X max >, in the atmosphere as a function of particle energy. The value of < X max > n...

In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Yager family of t-norms is considered as fuzzy composition. Yager family of t-norms is a parametric family of continuous nilpotent t-norms which is also one of the most frequently appli...

In this paper, optimization of a linear objective function with fuzzy relational inequality constraints is investigated where the feasible region is formed as the intersection of two inequality fuzzy systems and Dombi family of t-norms is considered as fuzzy composition. Dombi family of t-norms includes a parametric family of continuous strict t-norms, whose members are increasing functions of ...