相关论文: A sequence of neighborhood contingency logics

We present a definition of generating functions of canonical relations, which are real functions on symmetric symplectic spaces, discussing some conditions for the presence of caustics. We show how the actions compose by a neat geometrical…

Classical computations can not capture the essence of infinite computations very well. This paper will focus on a class of infinite computations called convergent infinite computations}. A logic for convergent infinite computations is…

We define the block neighborhood of a reversible CA, which is related both to its decomposition into a product of block permutations and to quantum computing. We give a purely combinatorial characterization of the block neighborhood, which…

We construct a sequence that converges to a solution of the Cauchy problem for a singularly perturbed linear inhomogeneous differential equation of an arbitrary order. This sequence is also an asymptotic sequence in the following sense: the…

This article describes a sequence of rational functions which converges locally uniformly to the zeta function. The numerators (and denominators) of these rational functions can be expressed as characteristic polynomials of matrices that…

In this note, by exploiting mean value properties of $s$-harmonic functions, we introduce some monotonicity formulas in the nonlocal setting. We take into account intrinsically nonlocal functionals mimicking those introduced by Alt,…

This note completely resolves the asymptotic development of order $2$ by $\Gamma$-convergence of the mass-constrained Cahn--Hilliard functional, by showing that one of the critical assumptions of the authors' previous work (Leoni, Murray,…

We relate the regularity of the Bergman projection operator and the canonical solution operator to the Nebenh\"ulle of complete Hartogs domains.

The incompatibility between the treatment of time in the classical and in the quantum theory results in the so-called problem of time in canonical quantum gravity. For this reason, attempts have been made to devise algorithms of…

We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands…

We introduce a variant of the $k$-nearest neighbor classifier in which $k$ is chosen adaptively for each query, rather than supplied as a parameter. The choice of $k$ depends on properties of each neighborhood, and therefore may…

Canonical quantization of the Brane-World effective action presented by Kanno and Soda containing higher order curvature invariant terms, has been performed. It requires introduction of an auxiliary variable. As observed in a series of…

This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…

The propositional logic is generalized on the real numbers field. the logical function with all properties of the classical probability function is obtained. The logical analog of the Bernoulli independent tests scheme is constructed. The…

In this paper we investigate certain systems of propositional intuitionistic modal logic defined semantically in terms of neighborhood structures. We discuss various restrictions imposed on those frames but our constant approach is to…

The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…

Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence…

We propose an alternative to $k$-nearest neighbors for functional data whereby the approximating neighboring curves are piecewise functions built from a functional sample. Using a locally defined distance function that satisfies…

Functionals (i.e. functions of functions) are widely used in quantum field theory and solid-state physics. In this paper, functionals are given a rigorous mathematical framework and their main properties are described. The choice of the…

Shortcomings of Dirac's constrained analysis in the context of fourth order Pais-Uhlenbeck oscillator action and the appearance of badly affected phase-space Hamiltonian for a generalized fourth order oscillator action, following…