Economic literature on inequality measurement is mainly concerned with the comparison of univariate indices of well-being, which record the differences in distribution of income (and/or wealth) within and between populations. However, such an approach is considered an inadequate basis for comparing individual disparities because people differ in many aspects besides income. The analysis of diff...

We show that the relational theory of intersection types known as BCD has the finite model property; that is, BCD is complete for its finite models. Our proof uses rewriting techniques which have as an immediate by-product the polynomial time decidability of the preorder ⊆ (although this also follows from the so called beta soundness of BCD). BCD is the relational theory of intersection types p...

The relation between process algebra and I/O au-tomata models is investigated in a general setting of structured operational semantics (SOS). For a series of (approximations of) key properties of I/O au-tomata, syntactic constraints on inference rules are proposed which guarantee these properties. A rst result is that, in a setting without assumptions about actions, the well-known trace and fai...

Coherence-based approaches are quite popular to reason under inconsistency. Most of them are defined with respect to totally preordered belief bases such as the lexicographic inference which is known to have desirable properties from theoretical, practical and psychological points of view. However, partially preordered belief bases offer much more flexibility to represent efficiently incomplete...

We propose Fuzzy UTASTAR, a method for inferring fuzzy utility functions from a partial preorder of options evaluated on multiple criteria. It is an extension of the well-known UTASTAR method capable to handle both ordinary (crisp) and fuzzy evaluation data. This property gives much flexibility to decision makers because the majority of real-life decision problems involve a considerable level o...

Choquet integral, as an adequate aggregation operator, extends the weighted mean operator by considering interactions among attributes. Choquet integral has been widely used in many real multi-attribute decision making. Weights (fuzzy measures) of attribute sets directly affect the decision results in multi-attribute decision making. In this paper, we aim to propose an objective method based on...

1. MOTIVATION Merging information provided by several sources is an important issue and merging techniques have been extensively studied. When the reliability of the sources is not known, one can apply merging techniques such as majority or arbitration merging or distancebased merging for solving conflicts between information. At the opposite, if the reliability of the sources is known, either ...

In this note we streamline an earlier algorithm for constructing a binary tree from its inorder and preorder traversals. The new algorithm is conceptually simpler than the earlier algorithms and its time complexity has a smaller constant factor.

A method of construction an inverse system finite compacta, indexed with positive reals, from a compact ultrapseudometric, is proposed. It proved that homeomorphisms and natural preorder on the class ultrapseudometrics correspond to strict isomorphisms morphisms respective systems. Properties poset obtained "gluing together" isomorphic systems, are discussed.