Related papers: Lukasiewicz logic and Riesz spaces

The category of complete differential graded Lie algebras provides nice algebraic models for the rational homotopy types of non-simply connected spaces. In particular, there is a realization functor, $\langle -\rangle$, of any complete…

We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…

In this paper we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with…

We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a generalised version of kites of Dvure\v{c}enskij and Kowalski,…

Hypersequent calculus G{\L}$\forall$ for first-order {\L}ukasiewicz logic was first introduced by Baaz and Metcalfe, along with a proof of its approximate completeness with respect to standard $[0,1]$-semantics. The completeness result was…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

We define H\"older classes $\Lambda_\alpha$ associated with a Markovian semigroup and prove that, when the semigroup satisfies the $\Gamma^2 \geq 0$ condition, the Riesz transforms are bounded between the H\"older classes. As a consequence,…

For a topological group G we introduce the algebra SUC(G) of strongly uniformly continuous functions. It contains the algebra WAP(G) of weakly almost periodic functions as well as the algebras LE(G) and Asp(G) of locally equicontinuous and…

Inequalities for Riesz potentials are well-known to be equivalent to Sobolev inequalities of the same order for domain norms ``far" from $L^1$, but to be weaker otherwise. Recent contributions by Van Schaftingen, by Hernandez, Rai\c{t}\u{a}…

We prove that if $I_\ell = [a_\ell,b_\ell)$, $\ell=1, \ldots, L$, are disjoint intervals in $[0,1)$ with the property that the numbers $1, a_1, \ldots, a_L, b_1, \ldots, b_L$ are linearly independent over $\mathbb{Q}$, then there exist…

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…

The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…

We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces…

Let $\ell$ be a length function on a group $G$, and let $M_{\ell}$ denote the operator of pointwise multiplication by $\ell$ on $\bell^2(G)$. Following Connes, $M_{\ell}$ can be used as a ``Dirac'' operator for $C_r^*(G)$. It defines a…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

This paper provides a self-contained exposition of coorbit spaces associated to integrable group representations and quasi-Banach function spaces, and at the same time extends and simplifies previous work. The main results provide an…

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a…

We study the \L ojasiewicz exponent and the log canonical threshold of ideals of $\mathcal O_n$ when restricted to generic subspaces of $\mathbb C^n$ of different dimensions. We obtain effective formulas of the resulting numbers for ideals…

Fuzzy logic extends the classical truth values "true" and "false" with additional truth degrees in between. More specifically, fuzzy modal logics in this sense are given by a choice of fuzzy modalities and a fuzzy propositional base. It has…