Related papers: Residuated Park Theories
In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut and the contraction rules. It is a universal concern to…
We construct a complete lattice $Z$ such that the binary supremum function $\sup:Z\times Z\to Z$ is discontinuous with respect to the product topology on $Z\times Z$ of the Scott topologies on each copy of $Z$. In addition, we show that…
This work shows how exponential concentration inequalities for additive functionals of stochastic processes over a finite time interval can be derived from concentration inequalities for martingales. The approach is entirely probabilistic…
We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its…
The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that the classical Rockafellar's constraint qualification holds. In this paper, we…
We introduce a quantitative relational Hoare logic for quantum programs. Assertions of the logic range over a new infinitary extension of positive semidefinite operators. We prove that our logic is sound, and complete for bounded…
We consider positive singular solutions (i.e. with a non-removable singularity) of a system of PDEs driven by $p$-Laplacian operators and with the additional presence of a nonlinear first order term. By a careful use of a rather new version…
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 introduce an generalized action functional describing the equations of motion and the variational equations for any Lagrangian system. Using this novel scheme we are able to generalize Noether's theorem in such a way that to any…
We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and then parallelization. The closure operator of completion is…
We study the Lane-Emden system involving the logarithmic Laplacian: $$ \begin{cases} \ \mathcal{L}_{\Delta}u(x)=v^{p}(x) ,& x\in\mathbb{R}^{n},\\ \ \mathcal{L}_{\Delta}v(x)=u^{q}(x) ,& x\in\mathbb{R}^{n}, \end{cases} $$ where $p,q>1$ and…
Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which states that all problems expressible in monadic second-order…
For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the…
We first review the nonrelativistic lagrangian theory as a framework for the MOND equation. Obstructions to a relativistic version of it are discussed leading up to TeVeS, a relativistic tensor-vector-scalar field theory which displays both…
We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an…
We further develop a recently introduced variational principle of stationary action for problems in nonconservative classical mechanics and extend it to classical field theories. The variational calculus used is consistent with an initial…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
We write the partition function for a lattice gauge theory, with compact gauge group, exactly in terms of unconstrained variables and show that, in the mean field approximation, the dynamics of pure gauge theories, invariant under compact,…
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a…