Displaying 1421 – 1440 of 5989

Showing per page

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,...

Dominating analytic families

Anastasis Kamburelis (1998)

Fundamenta Mathematicae

Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.

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 meaning of verbal quantities

Milan Mareš, Radko Mesiar (2002)

Kybernetika

The aim of the paper is to summarize and interpret some ideas regarding effective processing of vague data. The main contribution of the submitted approach consists in respecting the fact that vague data can be decomposed into two parts. The numerical one, describing the quantitative value of such data, and the semantic one characterizing the qualitative structure of the vagueness included into them. This partition of vague verbal data leads to a significant simplification of their practical processing,...

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...

Dualidad en la programación lineal en subconjuntos difusos.

José Llena Sitjes (1988)

Trabajos de Investigación Operativa

La programación lineal sobre subconjuntos difusos, definida por Zimmermann, se desarrolla en estrecha relación con la definición de las funciones pertinentes funciones de pertenencia. Se estudia la dualidad difusa, ligada a la dualidad en los problemas de programación lineal con multicriterios.

Duality for Hilbert algebras with supremum: An application

Hernando Gaitan (2017)

Mathematica Bohemica

We modify slightly the definition of H -partial functions given by Celani and Montangie (2012); these partial functions are the morphisms in the category of H -space and this category is the dual category of the category with objects the Hilbert algebras with supremum and morphisms, the algebraic homomorphisms. As an application we show that finite pure Hilbert algebras with supremum are determined by the monoid of their endomorphisms.

Currently displaying 1421 – 1440 of 5989