Fuzzy logics based on [0,1)-continuous uninorms

Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special uninorm. A Gentzen-style hypersequent calculus is provided for CRL and used to establish co-NP completeness results for these logics. Research supported by Marie Curie Fellowship Grant HPMF-CT-2004-501043.     

Consistent first-return Riemann sums for Lebesgue integrals

U. B. Darji and M. J. Evans [1] showed previously that it is possible to obtain the integral of a Lebesgue integrable function on the interval [0,1] via a Riemann type process, where one chooses the selected point in each partition interval using a first-return algorithm based on a sequence {x _n} which is dense in [0,1]. Here we show that if the same is true for every rearrangement of {x _n}, then the function must be equal almost everywhere to a Riemann integrable function. This revised version was published online in June 2006 with corrections to the Cover Date.     

Extensions of the measurable choice theorem by means of forcing

Using the method of forcing of set theory, we prove the following two theorems on the existence of measurable choice functions: LetT be the closed unit interval [0,1] and letm be the usual Lebesgue measure defined on the Borel subsets ofT. Theorem1. LetS⊂T×T be a Borel set such that for alltεT,S _t ^def={x|(t,x)εS} is countable and non-empty. Then there exists a countable series of Lebesgue-measurable functionsf _n: T→T such thatS _t={f_n(t)|nεω} for alltε[0,1],W _x={y|(x,y)εW} is uncountable. Then there exists a functionh:[0,1]×[0,1]→W with the following properties: (a) for each xε[0,1], the functionh(x,·) is one-one and ontoW _x and is Borel measurable; (b) for eachy, h(·, y) is Lebesgue measurable; (c) the functionh is Lebesgue measurable.     

Divergenzverhalten mehrdimensionaler Shannonscher Abtastreihen

The behaviour of multidimensional Shannon sampling series for continuous functions is examined. A continuous functiong ₁ εC ₀[0,1]² with support in the rectangle [0,1]×[0,1/2] is indicated in the paper for which the two dimensional Shannon sampling series diverge almost everywhere in the rectangle [0,1]×[1/2,1]. This shows that the localization principle for Shannon sampling series cannot hold in two dimensions and in higher dimensions. The result solves a problem formulated by P.L. Butzer.     

Wentzell-Robin Boundary Conditions on C [0,1]

   Abstract. Given a∈ C ¹ [0,1], a(x)≥ α >0 , we prove that the second order differential operator on C[0,1] defined by A _W u:=(au')' with Wentzell-Robin boundary conditions

A Note on the characterization of Shannon-Wiener’s measure of information

Summary In [1] the author treated a characterization problem of the ShannonWiener measure of information for continuous probability distributions defined over an abstract measure space (R, S, m), wherem is a σ-finite measure over a σ-field S of subsets ofR, whose rangeM(S) is such thatM(S)=[0, ∞]. This condition on the range of the basic measure, however, can slightly be altered such thatM(S)=[0,1], and this modification is useful for characterization of the Kullback-Leibler mean information. In the present paper, it is shown that the characterization procedure of [1] can be applicable to continuous probability distributions defined on a finite measure space.     

Downsian competition with four parties

Our purpose in this article is to study a unidimensional model of spatial electoral competition with four political parties. We assume that the voters are distributed along [0,1] in such a way that the density δ of this distribution is continuous on [0,1] and strictly positive on (0,1). The parties engage in a Downsian competition which is modeled as a non-cooperative four-person game with [0,1] as the common strategy set. If ξ_i stands for the ith quartile of the above-mentioned distribution, then we prove that has a pure Nash equilibrium, if and only if for every t (ξ₁,ξ₃). Moreover, if this condition is satisfied, then has exactly six pure Nash equilibria, which are characterized by the fact that two of the parties put forward the policy that corresponds to ξ₁ and the other two of them put forward the policy that corresponds to ξ₃.     

Lineability of sets of nowhere analytic functions

Although the set of nowhere analytic functions on [0,1] is clearly not a linear space, we show that the family of such functions in the space of C^∞-smooth functions contains, except for zero, a dense linear submanifold. The result is even obtained for the smaller class of functions having Pringsheim singularities everywhere. Moreover, in spite of the fact that the space of differentiable functions on [0,1] contains no closed infinite-dimensional manifold in C([0,1]), we prove that the space of real C^∞-smooth functions on (0,1) does contain such a manifold in C((0,1)).     

Notes on lacunary Müntz polynomials

We prove that a Müntz system has Chebyshev polynomials on [0,1] with uniformly bounded coefficients if and only if it is lacunary. A sharp Bernstein-type inequality for lacunary Müntz systems is established as well. As an application we show that a lacunary Müntz system fails to be dense inC(A) in the uniform norm for everyA ⊂ [0,1] with positive outer Lebesgue measure. A bounded Remez-type inequality is conjectured for non-dense Müntz systems on [0,1] which would solve Newman’s problem concerning the density of products of Müntz systems.     

A thin set of lines

Examples are given of functionsf(x) taking [0,1] into, or indeed onto, [0,1] in such a way that two dimensional measure of the set consisting of all points on all the straight line segments connecting (x, 0) to (f(x), 1) is zero.     

Parallel Computation of Invariant Measures

Let S:[0,1][0,1] be a nonsingular transformation and let P:L ¹(0,1)L ¹(0,1) be the corresponding Frobenius–Perron operator. In this paper we propose a parallel algorithm for computing a fixed density of P, using Ulam's method and a modified Monte Carlo approach. Numerical results are also presented.     

Divergenzverhalten mehrdimensionaler Shannonscher Abtastreihen

The behaviour of multidimensional Shannon sampling series for continuous functions is examined. A continuous function g ₁∈C ₀ [0,1]² with support in the rectangle [0,1] × [0,?] is indicated in the paper for which the two dimensional Shannon sampling series diverge almost everywhere in the rectangle [0,1] × [?,1]. This shows that the localization principle for Shannon sampling series cannot hold in two dimensions and in higher dimensions. The result solves a problem formulated by P.L. Butzer. Received: 21 December 1995 / Revised version: 5 October 1996     

Properties of convergence for -Bernstein polynomials

In this paper, we discuss properties of the ω,q-Bernstein polynomials introduced by S. Lewanowicz and P. Woźny in [S. Lewanowicz, P. Woźny, Generalized Bernstein polynomials, BIT 44 (1) (2004) 63–78], where fC[0,1], ω,q>0, ω≠1,q⁻¹,…,q⁻ⁿ⁺¹. When ω=0, we recover the q-Bernstein polynomials introduced by [G.M. Phillips, Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1997) 511–518]; when q=1, we recover the classical Bernstein polynomials. We compute the second moment of , and demonstrate that if f is convex and ω,q(0,1) or (1,∞), then are monotonically decreasing in n for all x[0,1]. We prove that for ω(0,1), q_n(0,1], the sequence converges to f uniformly on [0,1] for each fC[0,1] if and only if lim_n→∞q_n=1. For fixed ω,q(0,1), we prove that the sequence converges for each fC[0,1] and obtain the estimates for the rate of convergence of by the modulus of continuity of f, and the estimates are sharp in the sense of order for Lipschitz continuous functions.     

An example of a commutative basic algebra which is not an MV-algebra

Many algebras arising in logic have a lattice structure with intervals being equipped with antitone involutions. It has been proved in [CHK1] that these lattices are in a one-to-one correspondence with so-called basic algebras. In the recent papers [BOTUR, M.—HALAŠ, R.: Finite commutative basic algebras are MV-algebras, J. Mult.-Valued Logic Soft Comput. (To appear)]. and [BOTUR, M.—HALAŠ, R.: Complete commutative basic algebras, Order 24 (2007), 89–105] we have proved that every finite commutative basic algebra is an MV-algebra, and that every complete commutative basic algebra is a subdirect product of chains. The paper solves in negative the open question posed in [BOTUR, M.—HALAŠ, R.: Complete commutative basic algebras, Order 24 (2007), 89–105] whether every commutative basic algebra on the interval [0, 1] of the reals has to be an MV-algebra.     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Generalized polynomial approximation

We estimate the rate of covergence to functions in the spacesL ^p [0,1] and C[0,1] by polynomial of the form ∑ _λ α _λ x ^λ, where the λ′s are positive real numbers and 0.     

On the Aumann–Shapley value

Let L be a D-lattice, i.e. a lattice ordered effect algebra, and let BV be the Banach space of all real-valued functions of bounded variation on L (vanishing at 0) endowed with the variation norm. We prove the existence of a continuous Aumann–Shapley value φ on NA, the subspace of BV spanned by all functions of the form , where  is a non-atomic σ-additive modular measure and is of bounded variation and continuous at 0 and at 1.