نتایج جستجو برای: مدولهای μ
تعداد نتایج: 28135 فیلتر نتایج به سال:
We define analogues of modal Sahlqvist formulas for the modal mucalculus, and prove a correspondence theorem for them.
THE SYMBOLISM of language is, or may be, twofold. By far the greater portion of its recognized content and structure is symbolic in a purely referential sense; in other words, the meaningful combinations of vowels and consonants (words, significant parts of words, and word groupings) derive their functional significance from the arbitrary associations between them and their meanings established...
In this work we present a categorical approach for modeling the pure (i.e., without constants) call-by-value -calculus, defined by Plotkin as a restriction of the classical one. In particular, we study the properties a category must enjoy for give rise to a model of such a language. This definition is enough general for grasping models in different settings.
The emerging technology of interacting systems calls for new verification methods to ensure their reliability. Concurrent Game Structures are expressive abstract models for which several logics have been studied. Yet, these logics are not sufficiently expressive to support certain strategic situation which arise naturally. We propose a second-order mu-calculus enabling a straightforward specifi...
We prove a finite model theorem and infinitary completeness result for the propositional μ-calculus. The construction establishes a link between finite model theorems for propositional program logics and the theory of wellquasi-orders.
The double-controlled metric-type space (X,D) is a metric in which the triangle inequality has form D(η,μ)≤ζ1(η,θ)D(η,θ)+ζ2(θ,μ)D(θ,μ) for all η,θ,μ∈X. maps ζ1,ζ2:X×X→[1,∞) are called control functions. In this paper, we introduce novel generalization of double-composed space, where D(η,μ)≤αD(η,θ)+βD(θ,μ) our new functions α,β:[0,∞)→[0,∞) composed D inequality, multiplied with D. We establish s...
The aim of these notes is to illustrate a proof of the following remarkable Theorem of Alberti (first proved in [1]). Here, when μ is a Radon measure on Ω ⊂ R, we denote by μ its absolutely continuous part (with respect to the Lebesgue measure L ), by μ := μ− μ its singular part, and by |μ| its total variation measure. Clearly, |μ|a = |μa| and |μ|s = μ. When μ = Du for some u ∈ BV (Ω,R), we wil...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید