Search results for "predicate"

Formulations and exact algorithms for the distance-constrained generalized directed rural postman problem

2017

[EN] The generalized directed rural postman problem is an arc routing problem with many interesting real-life applications, such as routing for meter reading. In this application, a vehicle with a receiver travels through a series of neighborhoods. If the vehicle gets closer than a certain distance to a meter, the receiver is able to record the gas, water, or electricity consumption. Therefore, the vehicle does not need to traverse every street, but only a few, to get close enough to each meter. We study an extension of this problem in which a fleet of vehicles is available. Given the characteristics of the mentioned application, the vehicles have no capacities but there is a maximum distan…

Explicit extension maps in intersections of non-quasi-analytic classes

2005

Extension of analytic functional calculus mappings and duality by $$\bar \partial $$ -Closed forms with growth

1982

Extension maps in ultradifferentiable and ultraholomorphic function spaces

2000

A constructive semantics for non-deducibility

2008

This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

A note on multiple summing operators and applications

2018

We prove a new result on multiple summing operators and, among other results and applications, we provide a new extension of Littlewood’s 4 / 3 inequality to m-linear forms.

Product of extension domains is still an extension domain

2018

We prove the product of the Sobolev-extension domains is still a Sobolev-extension domain.

Unification in superintuitionistic predicate logics and its applications

2018

AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…

Basic Measure Theory

2020

In this chapter, we lay the measure theoretic foundations of probability theory. We introduce the classes of sets (semirings, rings, algebras, σ-algebras) that allow for a systematic treatment of events and random observations. Using the measure extension theorem, we construct measures, in particular probability measures on σ-algebras. Finally, we define random variables as measurable maps and study the σ-algebras generated by certain maps.

Nonlocalization Properties of Time Operators Transformations

2014

It is presented a general approach to the problem of extension of time operators and the associated Lambda transformations on singular measures. It is also shown that Lambda transformations defined on function spaces having the Urysohn property are non localized. Particular attention has been devoted to time and Lambda operators associated with the Walsh-Paley system and to a characterization of their domain and non locality.