Related papers: An analysis of the logic of Riesz Spaces with stro…

The abstraction of the study of stochastic processes to Banach lattices and vector lattices has received much attention by Grobler, Kuo, Labuschagne, Stoica, Troitsky and Watson over the past fifteen years. By contrast mixing processes have…

Corresponding to any $(m-1)$-tuple of semi-spectral measures on the unit circle, a weighted Dirichlet-type space is introduced and studied. We prove that the operator of multiplication by the coordinate function on these weighted…

We study the Riesz $(a,p)$-capacity of the so called Dobi\'nski set. We characterize the values of the parameters $a$ and $p$ for which the $(a,p)$-Riesz capacity of the Dobi\'nski set is positive. In particular we show that the Dobi\'nski…

Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatment of these logics has not yet been tended to. We fill this…

We give a classification of unitary representations of certain Polish, not necessarily locally compact, groups: the groups of all measurable functions with values in the circle and the groups of all continuous functions on compact, second…

This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports…

We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…

Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of…

We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to…

The integration of reasoning, learning, and decision-making is key to build more general artificial intelligence systems. As a step in this direction, we propose a novel neural-logic architecture, called differentiable logic machine (DLM),…

The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…

The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to…

We present a comprehensive introduction to spacetime algebra that emphasizes its practicality and power as a tool for the study of electromagnetism. We carefully develop this natural (Clifford) algebra of the Minkowski spacetime geometry,…

Let B be a unital commutative semi-simple Banach algebra. We study endomorphisms of B which are simultaneously Riesz operators. Clearly compact and power compact endomorphisms are Riesz. Several general theorems about Riesz endomorphisms…

The complex exponentials with integer frequencies form a basis for the space of square integrable functions on the unit interval. We analyze whether the basis property is maintained if the support of the complex exponentials is restricted…

We introduce two-dimensional logics based on \L{}ukasiewicz and G\"{o}del logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common underlying structure is the bi-lattice (twisted) product…

Building on the correspondence between finitely axiomatised theories in {\L}ukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of {\L}ukasiewicz logic with $n\geq 2$ variables is nullary. This solves…

Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with analytic properties that guarantee that they are…

Let $L$ be a Riesz space with a strong unit $e>0$.$\mathfrak{\ }$We show that a unital linear functional $H:L\rightarrow \mathbb{R}$ satisfies $% H\left( u\right) \neq 0$ for any strong unit $u\in L$ if and only if $H$ acts like a Riesz…

Let $\mathcal{H}$ be a (separable) Hilbert space and $\{e_k\}_{k\geq 1}$ a fixed orthonormal basis of $\mathcal{H}$. Motivated by many papers on scaled projections, angles of subspaces and oblique projections, we define and study the notion…