相关论文: A sequence of neighborhood contingency logics

The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator. As properties of the spherical spectrum suggest,…

We prove versions of Khintchine's Theorem (1924) for approximations by rational numbers whose numerators lie in randomly chosen sets of integers, and we explore the extent to which the monotonicity assumption can be removed. Roughly…

In the field of statistics, many kind of divergence functions have been studied as an amount which measures the discrepancy between two probability distributions. In the differential geometrical approach in statistics (information…

Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original…

We prove the convergence case of Khintchine's theorem, with general approximation functions that are not necessarily monotonic, for analytic nonplanar manifolds over local fields of positive characteristic. Our approach is based on the…

We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of…

In 1902, P. St\"ackel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…

Quantum mechanics predicts correlation between spacelike separated events which is widely argued to violate the principle of Local Causality. By contrast, here we shall show that the Schr\"odinger equation with Born's statistical…

Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may…

Motivated by a 1993 conjecture of Stanley and Stembridge, Shareshian and Wachs conjectured that the characteristic map takes the dot action of the symmetric group on the cohomology of a regular semisimple Hessenberg variety to $\omega…

We consider the characteristic time operator $\mathsf{T}$ introduced in [E. A. Galapon, Proc. R. Soc. Lond. A, 458:2671 (2002)] which is bounded and self-adjoint. For a semibounded discrete Hamiltonian $\mathsf{H}$ with some growth…

We prove that any given function can be smoothly approximated by functions lying in the kernel of a linear operator involving at least one fractional component. The setting in which we work is very general, since it takes into account…

We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…

Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge…

This paper develops stable canonical rules for intuitionistic modal logics, which were first introduced for superintuitionistic logics and transitive nor mal modal logics in [1] and [2] respectively. We first prove that every in…

We investigate a generalisation of the coherent choice functions considered by Seidenfeld et al. (2010), by sticking to the convexity axiom but imposing no Archimedeanity condition. We define our choice functions on vector spaces of…

We introduce a quite large class of functions (including the exponential function and the power functions with exponent greater than one), and show that for any element $f$ of this function class, a self-adjoint element $a$ of a…

In 1984, Wim Ruitenburg published a surprising result about periodic sequences in intuitionistic propositional calculus (IPC). The property established by Ruitenburg naturally generalizes local finiteness; recall that intuitionistic logic…

We consider the standard quantum logic ${\mathcal L}(H)$ associated to a complex Hilbert space $H$, i.e. the lattice of closed subspaces of $H$ together with the orthogonal complementation. The orthogonality and compatibility relations are…

We provided in \cite{BaldwinBrincusI} extensions of first order logic by modified inferential definitions of the classical $\omega$-rule in $1$ or $2$ sorts. These logics are categorical in the inferential sense. Arithmetic has a unique…