This paper studies the problem of allocating utility losses among n agents with cardinal non-comparable utility functions. This problem is referred to as the Nash rationing problem, as it can be regarded as the translation of the Nash bargaining problem to a rationing scenario. We show that there is no single-valued solution satisfying the obvious reformulation of Nash’s axioms, nor a multivalu...

In this paper, we introduced the notion of a generalized multivalued (α,φ)-almost contractions and establish the existence of fixed point theorems for this class of mapping. The results presented in this paper generalize and extend some recent results in multivalued almost contraction. Also, we show its applications in the Ulam-Hyers stability of fixed point problems for multivalued operators.

Annotated logics were introduced in 43] and later studied in 5, 7, 31, 32]. In 31], annotations were extended to allow variables and functions, and it was argued that such logics can be used to provide a formal semantics for rule-based expert systems with uncertainty. In this paper we continue to investigate the power of this approach. First, we introduce a new semantics for such programs based...

It was not until the sixteenth century that dead bodies were submitted to medico-legal investigation. The horror which human dissections inspired in the ancients, and the religious awe with which they beheld the mortal wreck of their fellows, not only retarded the progress of anatomy and physiology, but excluded the light of medicine from the researches of the forum. The Jewish law, indeed, con...

We present the performance of three different multivalued current mode 1-bit adders. These circuits have been simulated with the electrical parameters of a standard 1.2 μm CMOS technology. The performance of a binary voltage mode 1-bit adder is also presented. The binary version uses twice more transistors comparing with multivalued ones, but it is two or three times faster. Multivalued version...

The paper presents an approach for handling uncertain information in deductive databases using multivalued logics. Uncertainty means that database facts may be assigned logical values other than the conventional ones true and false. The logical values represent various degrees of truth, which may be combined and propagated by applying the database rules. A corresponding multivalued database sem...

The paper presents a new method for multivalued simulation of digital circuits based on calculation of Boolean derivatives on BDDs (or structural alternative graphs). A procedure for calculation of maximums of Boolean derivatives as the basis of multivalued simulation is given. The method is applicable for component level representations of digital circuits where as components arbitrary subcirc...

In this paper, we first establish collective fixed points theorems for a family of multivalued maps with or without assuming that the product of these multivalued maps is Φ-condensing. As an application of our collective fixed points theorem, we derive the coincidence theorem for two families of multivalued maps defined on product spaces. Then we give some existence results for maximal elements...

In this work a model for planning with multivalued fluents and graded actions, that allows preferences specifications and plan metric, is introduced. This model is based on the infinity-valued Łukasiewicz logic. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of plann...