Related papers: Residuated Park Theories
We show that all finite lattices, including non-distributive lattices, arise as stable matching lattices when all agents have path-independent choice functions. This result answers an open question of Blair~\cite{blair1988lattice}. In the…
A distributive lattice with zero is completely normal if its prime ideals form a root system under set inclusion.Every such lattice admits a binary operation (x,y) \mapsto x-y satisfying the rules x \leq y\vee (x-y) and (x-y) \wedge (y-x)=0…
Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches,…
In this second part of the paper, we consider finite difference Lagrangians which are invariant under linear and projective actions of $SL(2)$, and the linear equi-affine action which preserves area in the plane. We first find the…
An argument is given to associate integrable nonintegrable transition of discrete maps with the transition of Lawvere's fixed point theorem to its own contrapositive. We show that the classical description of nonlinear maps is neither…
We study the equational theory of the Weihrauch lattice with composition and iterations, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the composition operator $\star$ and…
Loday's assembly maps approximate the K-theory of group rings by the K-theory of the coefficient ring and the corresponding homology of the group. We present a generalization that places both ingredients on the same footing. Building on…
The starting point of algebraic language theory is that regular languages of finite words are exactly those recognized by finite monoids. This finiteness condition gives rise to a topological space whose points, called profinite words,…
We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle \omega, \wedge, \lor, 0, 1, \leq_L\rangle$ where $\omega$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary…
In the present work, we formulate a generalization of the Noether Theorem for action-dependent Lagrangian functions. The Noether's theorem is one of the most important theorems for physics. It is well known that all conservation laws,…
A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as…
We study the residuated basic logic ($\mathsf{RBL}$) of residuated basic algebra in which the basic implication of Visser's basic propositional logic ($\mathsf{BPL}$) is interpreted as the right residual of a non-associative binary operator…
In this paper, we extend the \emph{principle of least action} and show that a \emph{Lagrange density} always exists for the usual linear pde or linear fractional problems $\oA\,u=f$ in physics, if the usual causality conditions $u|_{t<0}=0$…
Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and…
Monotone operator theory and fixed point theory for nonexpansive mappings are central areas in modern nonlinear analysis and optimization. Although these areas are fairly well developed, almost all examples published are based on…
In this study I develop a novel action for lattice gauge theory for finite systems, which accommodates non-periodic boundary conditions, implements the proper integral form of Gauss' law and exhibits an inherently symmetric energy momentum…
For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the…
Findings by M. L. Lyra, S. Mayboroda and M. Filoche relate invertibility and positivity of a class of discrete Schr\"odinger matrices with the existence of the "Landscape Function", which provides an upper bound on all eigenvectors…
A classical B\^ocher's theorem asserts that any positive harmonic function (with respect to the Laplacian) in the punctured unit ball can be expressed, up to the multiplication constant, as the sum of the Newtonian kernel and a positive…