Related papers: Kleene algebra with domain

An integrable extension of the well known nonlinear Schroedinger (NLS) equation to a higher space-dimension, recently proposed by us, is investigated, exploring its various important aspects. Focusing on the idea of construction its…

In the present paper syntax and semantics will be presented for an expansion of ordinary n-agent QML with constant domain, non-rigid constants, rigid variables and including both functions, relations, and equality. Further, the number of…

In this article, we develop an algebraic framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. We further construct an explicit model and prove that it satisfies…

We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an…

Let $k$ be a finite field, a $p$-adic field or a number field. Let $K$ be a finite extension of the Laurent series field in $m$ variables $k((x_1,...,x_m))$ or, more generally, a finite extension of the field of rational functions…

For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.

In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…

This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…

We propose Weighted Guarded Kleene Algebra with Tests (wGKAT), an uninterpreted weighted programming language equipped with branching, conditionals, and loops. We provide an operational semantics for wGKAT using a variant of weighted…

We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering.

We introduce a notion of $n$-Lie Rinehart algebras as a generalization of Lie Rinehart algebras to $n$-ary case. This notion is also an algebraic analogue of $n$-Lie algebroids. We develop representation theory and describe a cohomology…

Using Serre's adelic interpretation of cohomology, we develop a `differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive…

We introduce two extensions of the Segal-Bargmann coherent state transform from $L^2({\mathbb R},dx)$ to Hilbert spaces of slice monogenic and axial monogenic functions and study their properties. These two transforms are related by the…

The finite families of Hahn polynomials and associated biorthogonal rational functions are interpreted algebraically in the framework of Leonard trios. We introduce the trio Hahn algebra and prove that it is isomorphic to the meta Hahn…

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

Let $\mathbb{K}$ be a field, $R$ be an associative and commutative $\mathbb{K}$-algebra and $L$ be a Lie algebra over $\mathbb{K}$. We give some descriptions of injections from $L$ to Lie algebra of $\mathbb{K}$-derivations of $R$ in the…

We introduce an addition law for the usual quantum matrices $A(R)$ by means of a coaddition $\underline{\Delta} t=t\otimes 1+1\otimes t$. It supplements the usual comultiplication $\Delta t=t\otimes t$ and together they obey a…

In this paper we show how to combine different techniques from Commutative Algebra and a systematic use of a Computer Algebra System (in our case mainly CoCoA) in order to explicitly construct Cohen-Macaulay domains, which are standard…

We refine the infinitesimal Hecke algebra associated to a 2-reflection group into a $\Z/2\Z$-graded Lie algebra, as a first step towards a global understanding of a natural $\mathbbm{N}$-graded object. We provide an interpretation of this…

Cylindrical Algebraic Decomposition (CAD) is an important tool within computational real algebraic geometry, capable of solving many problems for polynomial systems over the reals. It has long been studied by the Symbolic Computation…