Equilibrium semantics of languages of imperfect information

In this paper, we introduce a new approach to independent quantifiers, as originally introduced in Informational independence as a semantic phenomenon by Hintikka and Sandu (1989) [9] under the header of independence-friendly (IF) languages. Unlike other approaches, which rely heavily on compositional methods, we shall analyze independent quantifiers via equilibriums in strategic games. In this approach, coined equilibrium semantics, the value of an IF sentence on a particular structure is determined by the expected utility of the existential player in any of the game’s equilibriums. This approach was suggested in Henkin quantifiers and complete problems by Blass and Gurevich (1986) [2] but has not been taken up before. We prove that each rational number can be realized by an IF sentence. We also give a lower and upper bound on the expressive power of IF logic under equilibrium semantics.     

The eskolemization of universal quantifiers

This paper is a sequel to the papers Baaz and Iemhoff (2006, 2009) [4] and [6] in which an alternative skolemization method called eskolemization was introduced that, when restricted to strong existential quantifiers, is sound and complete for constructive theories. In this paper we extend the method to universal quantifiers and show that for theories satisfying the witness property it is sound and complete for all formulas. We obtain a Herbrand theorem from this, and apply the method to the intuitionistic theory of equality and the intuitionistic theory of monadic predicates.     

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

In this paper we analyze k-ary inclusion–exclusion logic, INEX[k], which is obtained by extending first order logic with k-ary inclusion and exclusion atoms. We show that every formula of INEX[k] can be expressed with a formula of k-ary existential second order logic, ESO[k]. Conversely, every formula of ESO[k] with at most k-ary free relation variables can be expressed with a formula of INEX[k]. From this it follows that, on the level of sentences, INEX[k] captures the expressive power of ESO[k].We also introduce several useful operators that can be expressed in INEX[k]. In particular, we define inclusion and exclusion quantifiers and so-called term value preserving disjunction which is essential for the proofs of the main results in this paper. Furthermore, we present a novel method of relativization for team semantics and analyze the duality of inclusion and exclusion atoms.     

The expressive power of k-ary exclusion logic

In this paper we study the expressive power of k-ary exclusion logic, EXC[k], that is obtained by extending first order logic with k-ary exclusion atoms. It is known that without arity bounds exclusion logic is equivalent with dependence logic. By observing the translations, we see that the expressive power of EXC[k] lies in between k-ary and ($k+1$)-ary dependence logics. We will show that, at least in the case when $k=1$, both of these inclusions are proper.In a recent work by the author it was shown that k-ary inclusion-exclusion logic is equivalent with k-ary existential second order logic, ESO[k]. We will show that, on the level of sentences, it is possible to simulate inclusion atoms with exclusion atoms, and in this way express ESO[k]-sentences by using only k-ary exclusion atoms. For this translation we also need to introduce a novel method for “unifying” the values of certain variables in a team. As a consequence, EXC[k] captures ESO[k] on the level of sentences, and we obtain a strict arity hierarchy for exclusion logic. It also follows that k-ary inclusion logic is strictly weaker than EXC[k].Finally we use similar techniques to formulate a translation from ESO[k] to k-ary inclusion logic with an alternative strict semantics. Consequently, for any arity fragment of inclusion logic, strict semantics is strictly more expressive than lax semantics.     

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in Grädel and Väänänen, 2010 [9].     

&rho|混合随机变量加权和的收敛性

该文研究了ρ 混合随机变量加权和的强大数律及完全收敛性, 获得了一些新的结果. 该文的结果推广和改进了Bai 等^[1]及Baum 等^[18] 在 i.i.d. 情形时相应的结果, 也推广和改进了Volodin 等^[4]在实值独立时相应的结果. 该文还得到了一关于任意随机变量阵列加权和的完全收敛性定理.     

Uniqueness of positive radial solutions for quasilinear elliptic equations in an annulus

Extending a previous result of Tang [1] we prove the uniqueness of positive radial solutions of Δ_pu+f(u)=0, subject to Dirichlet boundary conditions on an annulus in Rⁿ with 2<p≤n, under suitable hypotheses on the nonlinearity f. This argument also provides an alternative proof for the uniqueness of positive solutions of the same problem in a finite ball (see [9]), in the complement of a ball or in the whole space Rⁿ (see [10], [3] and [11]).     

On varieties of MV-algebras with internal states

In [4] and [5] the authors introduced the variety SMV of MV-algebras with an internal operator, state MV-algebras. In [2] and [3] the authors gave a stronger version of state MV-algebras, called state-morphism MV-algebras. In this paper we continue the studies presented in [2] and [3] just looking at several proper subvarieties of SMV, obtained by imposing suitable conditions on the behavior of the internal operator.     

Model theoretic dynamics in Galois fashion

We fix a monster model $\mathfrak{D}$ of some stable theory and investigate substructures of $\mathfrak{D}$ which are existentially closed within the class of substructures equipped with an action of a fixed group G. We describe them as PAC substructures of $\mathfrak{D}$ and obtain results related to Galois theory.Assuming that the class of these existentially closed substructures is elementary, we show that, under the assumption of having bounded models, its theory is simple and eliminates quantifiers up to some existential formulas. Moreover, this theory codes finite sets and allows a geometric elimination of imaginaries, but not always a weak elimination of imaginaries.     

Negation and partial axiomatizations of dependence and independence logic revisited

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms.     

Bifurcation of infinite Prandtl number rotating convection

We consider infinite Prandtl number convection with rotation which is the basic model in geophysical fluid dynamics. For the rotation free case, the rigorous analysis has been provided by Park (2005, 2007, revised for publication) [5], [6] and [25] under various boundary conditions. By thoroughly investigating we prove in this paper that the solutions bifurcate from the trivial solution u=0 to an attractor Σ_R which consists of only one cycle of steady state solutions and is homeomorphic to S¹. We also see how intensively the rotation inhibits the onset of convective motion. This bifurcation analysis is based on a new notion of bifurcation, called attractor bifurcation which was developed by Ma and Wang (2005); see [15].     

Fine spectra of upper triangular double-band matrices

The fine spectra of lower triangular double-band matrices have been examined by several authors (e.g. [13] and [22]). Here we determine the fine spectra of upper triangular double-band matrices over the sequence spaces c₀ and c. Upper triangular double-band matrices are infinite matrices which include the left-shift, averaging and difference operators.     

Fixed point theorems for some generalized multivalued nonexpansive mappings

In this paper, we introduce a condition on multivalued mappings which is a multivalued version of condition (C_λ) defined by Garcia-Falset et al. (2011) [3]. It is shown here that some of the classical fixed point theorems for multivalued nonexpansive mappings can be extended to mappings satisfying this condition. Our results generalize the results in Lim (1974), Lami Dozo (1973), Kirk and Massa (1990), Garcia-Falset et al. (2011), Dhompongsa et al. (2009) and Abkar and Eslamian (2010) [4], [5], [6], [3], [7] and [8] and many others.     

Approximation of signals of class Lip(α, p) by linear operators

Mittal, Rhoades [5], [6], [7] and [8] and Mittal et al. [9] and [10] have initiated a study of error estimates E_n(f) through trigonometric-Fourier approximation (tfa) for the situations in which the summability matrix T does not have monotone rows. In this paper we continue the work. Here we extend two theorems of Leindler [4], where he has weakened the conditions on {p_n} given by Chandra [2], to more general classes of triangular matrix methods. Our Theorem also partially generalizes Theorem 4 of Mittal et al. [11] by dropping the monotonicity on the elements of matrix rows, which in turn generalize the results of Quade [15].     

Axiomatizations of team logics

In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(～) of Väänänen's first-order team logic TL, for propositional team logic PTL, quantified propositional team logic QPTL, modal team logic MTL, and for the corresponding logics of dependence, independence, inclusion and exclusion.As a crucial step in the completeness proof, we show that the above logics admit, in a particular sense, a semantics-preserving elimination of modalities and quantifiers from formulas.     

Common fixed point results in CAT(0) spaces

Let X be a complete CAT(0) space, T be a generalized multivalued nonexpansive mapping, and t be a single valued quasi-nonexpansive mapping. Under the assumption that T and t commute weakly, we shall prove the existence of a common fixed point for them. In this way, we extend and improve a number of recent results obtained by Shahzad (2009) [7] and [12], Shahzad and Markin (2008) [6], and Dhompongsa et al. (2005) [5].     

Linearly perturbed polyhedral normal cone mappings and applications

Under a mild regularity assumption, we derive an exact formula for the Fréchet coderivative and some estimates for the Mordukhovich coderivative of the normal cone mappings of perturbed polyhedra in reflexive Banach spaces. Our focus point is a positive linear independence condition, which is a relaxed form of the linear independence condition employed recently by Henrion et al. (2010) [1], and Nam (2010) [3]. The formulae obtained allow us to get new results on solution stability of affine variational inequalities under linear perturbations. Thus, our paper develops some aspects of the work of Henrion et al. (2010) [1] Nam (2010) [3] Qui (in press) [12] and Yao and Yen (2009) [6] and [7].     

On the solutions of a functional equation arising from multiplication of quantum integers

This paper is the first of several papers in which we prove, for the case where the fields of coefficients are of characteristic zero, four open problems posed in the work of Melvyn Nathanson (2003) [1] concerning the solutions of a functional equation arising from multiplication of quantum integers q[n]=qn−1+qn−2+?+q+1. In this paper, we prove one of the problems. The next papers, namely [002], [003] and [004] by Lan Nguyen, contain the solutions to the other 3 problems.