All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 4

Displaying 61 – 70 of 70

Showing per page

Division schemes under uncertainty of claims

Xianghui Li, Yang Li, Wei Zheng (2021)

Kybernetika

In some economic or social division problems, we may encounter uncertainty of claims, that is, a certain amount of estate has to be divided among some claimants who have individual claims on the estate, and the corresponding claim of each claimant can vary within a closed interval or fuzzy interval. In this paper, we classify the division problems under uncertainty of claims into three subclasses and present several division schemes from the perspective of axiomatizations, which are consistent with...

Domain mu-calculus

Guo-Qiang Zhang (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

The basic framework of domain μ -calculus was formulated in [39] more than ten years ago. This paper provides an improved formulation of a fragment of the μ -calculus without function space or powerdomain constructions, and studies some open problems related to this μ -calculus such as decidability and expressive power. A class of language equations is introduced for encoding μ -formulas in order to derive results related to decidability and expressive power of non-trivial fragments of the domain μ -calculus....

Domain mu-calculus

Guo-Qiang Zhang (2010)

RAIRO - Theoretical Informatics and Applications

The basic framework of domain μ-calculus was formulated in [39] more than ten years ago. This paper provides an improved formulation of a fragment of the μ-calculus without function space or powerdomain constructions, and studies some open problems related to this μ-calculus such as decidability and expressive power. A class of language equations is introduced for encoding μ-formulas in order to derive results related to decidability and expressive power of non-trivial fragments of the domain...

Domain-Free λµ-Calculus

Ken-Etsu Fujita (2010)

RAIRO - Theoretical Informatics and Applications

We introduce a domain-free λµ-calculus of call-by-value as a short-hand for the second order Church-style. Our motivation comes from the observation that in Curry-style polymorphic calculi, control operators such as callcc-operators cannot, in general, handle correctly the terms placed on the control operator's left, so that the Curry-style system can fail to prove the subject reduction property. Following the continuation semantics, we also discuss the notion of values in classical system,...

Double Sequences and Iterated Limits in Regular Space

Roland Coghetto (2016)

Formalized Mathematics

First, we define in Mizar [5], the Cartesian product of two filters bases and the Cartesian product of two filters. After comparing the product of two Fréchet filters on ℕ (F1) with the Fréchet filter on ℕ × ℕ (F2), we compare limF₁ and limF₂ for all double sequences in a non empty topological space. Endou, Okazaki and Shidama formalized in [14] the “convergence in Pringsheim’s sense” for double sequence of real numbers. We show some basic correspondences between the p-convergence and the filter...

Double Sequences and Limits

Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama (2013)

Formalized Mathematics

Double sequences are important extension of the ordinary notion of a sequence. In this article we formalized three types of limits of double sequences and the theory of these limits.

Double Series and Sums

Noboru Endou (2014)

Formalized Mathematics

In this paper the author constructs several properties for double series and its convergence. The notions of convergence of double sequence have already been introduced in our previous paper [18]. In section 1 we introduce double series and their convergence. Then we show the relationship between Pringsheim-type convergence and iterated convergence. In section 2 we study double series having non-negative terms. As a result, we have equality of three type sums of non-negative double sequence. In...

Dual Spaces and Hahn-Banach Theorem

Keiko Narita, Noboru Endou, Yasunari Shidama (2014)

Formalized Mathematics

In this article, we deal with dual spaces and the Hahn-Banach Theorem. At the first, we defined dual spaces of real linear spaces and proved related basic properties. Next, we defined dual spaces of real normed spaces. We formed the definitions based on dual spaces of real linear spaces. In addition, we proved properties of the norm about elements of dual spaces. For the proof we referred to descriptions in the article [21]. Finally, applying theorems of the second section, we proved the Hahn-Banach...

Currently displaying 61 – 70 of 70

Previous Page 4