Related papers: Residuated Park Theories
One of the central objects in the theory of optimal transport is the Brenier map: the unique monotone transformation which pushes forward an absolutely continuous probability law onto any other given law. A line of recent work has analyzed…
In the classical Lagrangian approach to conservation laws of gauge-natural field theories a suitable (vector) density is known to generate the so--called {\em conserved Noether currents}. It turns out that along any section of the relevant…
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic: we use an appropriate class of…
In this paper free harmonic analysis tools are used to study parabolic iteration in the complex upper half-plane. The main result here is a complete characterization for the norming constants in the monotonic central limit theorem. This…
The main aim of this paper is to study aggregation functions on lattices via clone theory approach. Observing that the aggregation functions on lattices just correspond to $0,1$-monotone clones, as the main result we show that for any…
We consider the Lagrangian formulation with duplicated variables of dissipative mechanical systems. The application of Noether theorem leads to physical observable quantities which are not conserved, like energy and angular momentum, and…
In this paper, we are interested in studying the asymptotic behavior of the solutions of differential inclusions governed by maximally monotone operators. In the case where the LaSalle's invariance principle is inconclusive, we provide a…
Given an integral commutative residuated lattice L=(L,\vee,\wedge), its full twist-product (L^2,\sqcup,\sqcap) can be endowed with two binary operations \odot and \Rightarrow introduced formerly by M. Busaniche and R. Cignoli as well as by…
We propose an unconventional formulation of lattice field theories which is quite general, although originally motivated by the quest of exact lattice supersymmetry. Two long standing problems have a solution in this context: 1) Each degree…
A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the…
Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We consider a two-dimensional analogue of Jacobi theta functions and prove that, among all lattices $\Lambda \subset \mathbb{R}^2$ with fixed density, the minimal value is maximized by the hexagonal lattice. This result can be interpreted…
In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove…
This report presents an elementary theory of unification for positive conjunctive queries. A positive conjunctive query is a formula constructed from propositional constants, equations and atoms using the conjunction $\wedge$ and the…
The most famous open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that Rockafellar's constraint qualification holds. In this paper, we prove the maximal…
A Lagrangian approach is proposed and developed to study defects within affine Toda field theories. In particular, a suitable Lax pair is constructed together with examples of conserved charges. It is found that only those models based on…
We consider the stationary (time-independent) Navier-Stokes equations in the whole threedimensional space, under the action of a source term and with the fractional Laplacian operator (--$\Delta$) $\alpha$/2 in the diffusion term. In the…
Noether's Theorem yields conservation laws for a Lagrangian with a variational symmetry group. The explicit formulae for the laws are well known and the symmetry group is known to act on the linear space generated by the conservation laws.…