Related papers: Lukasiewicz logic and Riesz spaces

In this paper such Riemann metrics are established whose Laplace-Beltrami operators are identical to familiar Hamilton operators of elementary particle systems. Such metrics are the natural positive definite invariant metrics defined on…

We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes…

We consider conformal actions of simple Lie groups on compact Lorentzian manifolds. Mainly motivated by the Lorentzian version of a conjecture of Lichnerowicz, we establish the alternative: Either the group acts isometrically for some…

We prove that for a certain class of $n$ dimensional rank one locally symmetric spaces, if $f \in L^p$, $1\leq p \leq 2$, then the Riesz means of order $z$ of $f$ converge to $f$ almost everywhere, for $\operatorname{Re}z> (n-1)(1/p-1/2).$

Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic calculus KM (Kuznetsov's Theorem). Then, we show that this…

In [8] probabilistic methods, in particular a variant of the Weak Law of Large Numbers related to the Bernoulli distribution, have been used to show that for every infinite compact spaces K and L there exists a sequence $(\mu_n)$ of…

We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these…

This paper approaches the construction of the universal completion of the Riesz space $\mathrm{C}(L)$ of continuous real functions on a completely regular frame $L$ in two different ways. Firstly as the space of continuous real functions on…

Let $G$ be a second-countable amenable group with a uniform $k$-approximate lattice $\Lambda$. For a projective discrete series representation $(\pi, \mathcal{H}_{\pi})$ of $G$ of formal degree $d_{\pi} > 0$, we show that $D^-(\Lambda) \geq…

MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class,…

One of the celebrated results by Riesz \cite{Rie} is the Riesz conjugate functions theorem for analytic functions in the complex plane $\mathbb{C}$. The study on the Riesz conjugate functions theorem for functions in higher dimensional…

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For…

Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…

We introduce the notions of multi-suprema and multi-infima for vector spaces equipped with a collection of wedges, generalizing the notions of suprema and infima in ordered vector spaces. Multi-lattices are vector spaces closed under…

We develop our earlier approach to the Weyl calculus for representations of infinite-dimensional Lie groups by establishing continuity properties of the Moyal product for symbols belonging to various modulation spaces. For instance, we…

We are interested in a WKB analysis of the Logarithmic Non-Linear Schr\"odinger Equation with "Riemann-like" variables in an analytic framework in semiclassical regime. We show that the Cauchy problem is locally well posed uniformly in the…

In this paper we introduce the convex fragment of {\L}ukasiewicz Logic and discuss its possible applications in different learning schemes. Indeed, the provided theoretical results are highly general, because they can be exploited in any…

For a globally generic cuspidal automorphic representation $\mathit{\Pi}$ of a quasi-split reductive group $G$ over $\mathbb Q$, E. Lapid and Z. Mao proposed a conjecture on the decomposition of the global Whittaker functionals on…

We show that the category of finitely presented Wajsberg hoops with homomorphisms is dually equivalent to a particular subcategory of rational polyhedra with Z-maps. We use the duality to provide a geometrical characterization of finitely…