Related papers: A syntactical proof of the operational equivalence…
We present a proof system that extends action logic by omega iteration, which is viewed as infinitary multiplicative conjunction. We prove cut admissibility and establish complexity bounds for the provability predicate.
The classical condition "$\phi$ is a semantic consequence of $\Theta$" in infinite-valued propositional \L ukasiewicz logic \L$_\infty$ is refined using enriched valuations that take into account the effect on $\phi$ of the stability of the…
We shall consider a double infinite, hermitian, complex entry matrix $A=[a_{x,y}]_{x,y\in\mathbb Z}$, with $a_{x,y}^*=a_{y,x}$, $x,y\in\mathbb Z$. Assuming that the matrix is almost of a finite bandwidth, i.e. there exists an integer $n> 0$…
LTL synthesis -- the construction of a function to satisfy a logical specification formulated in Linear Temporal Logic -- is a 2EXPTIME-complete problem with relevant applications in controller synthesis and a myriad of artificial…
The explicit constructions of minimal isometric, and minimal unitary dilations of an arbitrary linear pencil of operators $T(\lambda)=T_0+\lambda T_1$ consisting of contractions on a separable Hilbert space for $|\lambda |=1$, which…
We give a probabilistic interpretation of the coefficients of the elementary symmetric function expansion of the chromatic quasisymmetric function for any unit interval graph. As a corollary, we prove the Stanley--Stembridge conjecture.
This thesis is devoted to asymptotic norm estimates for oscillatory integral operators acting on the L^2 space of functions of one real variable. The operators in question have compact support and an oscillatory kernel of the form exp(i…
We prove a topological completeness theorem for the modal logic GLP containing operators $\langle\lambda\rangle$ for $\lambda \in$ Ord intended to capture progressively stronger notions of consistency in mathematical theories. We show that,…
We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules…
We find two convergent series expansions for Legendre's first incomplete elliptic integral $F(\lambda,k)$ in terms of recursively computed elementary functions. Both expansions are valid at every point of the unit square $0<\lambda,k<1$.…
A route to evaluate exact sums represented by Dirichlet eta and beta functions, both of which are alternating and divergent at negative integer arguments, is advocated. It rests on precise polynomial extrapolations and stands as a…
We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets. Moreover, every program has a unique…
The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogous inversion principle connects functional…
This paper concerns the action of linear symplectomorphisms on linear symplectic forms by conjugation in even dimensions. We prove that pfaffian and $-\frac{1}{2}\operatorname{tr}(JA)$ (sum function) of $A$ are invariants on the action. We…
In this note we give a short and self-contained proof that, for any $\delta > 0$, $\sum_{x \leq n \leq x+x^\delta} \lambda(n) = o(x^\delta)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to…
Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions…
Being chosen as a differential operator of a special form, metric $\eta$ operator becomes unitary equivalent to a one-dimensional Hermitian Hamiltonian with a natural supersymmetric structure. We show that fixing the superpartner of this…
We identify certain combinatorially defined rational functions which, under the shuffle to Schiffmann algebra isomorphism, map to LLT polynomials in any of the distinguished copies $\Lambda (X^{m,n})\subset \mathcal{E}$ of the algebra of…
It is shown that any real and even function of the phase (time) operator has a self-adjoint extension and its relation to the general phase operator problem is analyzed.
We show, in an elementary way, that the Julia set of one-complex-variable entire functions is nonempty and perfect.