Related papers: Tense operators on distributive lattices with impl…
It is well-known that in the logic of quantum mechanics disjunctions and conjunctions can be represented by joins and meets, respectively, in an orthomodular lattice provided their entries commute. This was the reason why J. Pykacz…
In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHn-algebras). In this paper, we define and study tense SHn-algebras namely, SHn-algebras endowed with two tense operators. These algebras constitute a…
We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…
In this paper, we complete the classification of representation-finite tensor product algebras in terms of quiver with relations.
We shall say that a densely defined closed operator $T$ on a Hilbert space is balanced if $\cD(T)=\cD(T^*)$. Balanced operators are described in terms of their phase operators abnd their moduli. Examples of balanced operators are developed.…
In this article, we develop tools for computing $G$-crossed extensions of braided tensor categories. Their equivariantisations appear as categories of modules of fixed-point subalgebras (or orbifolds) of vertex operator algebras and are…
It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity…
We study compatible aggregation functions on a general bounded distributive lattice $L$, where the compatibility is related to the congruences on $L$. As a by-product, a new proof of an earlier result of G. Gr\"atzer is obtained. Moreover,…
We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…
In this paper, we define the general framework to describe the diffusion operators associated to a positive matrix. We define the equations associated to diffusion operators and present some general properties of their state vectors. We…
We establish Plemelj-Smithies formulas for determinants in different algebras of operators. In particular we define a Poincar\'e type determinant for operators on the torus $\Tn$ and deduce formulas for determinants of periodic…
Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at…
We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…
In this paper we define the Schwartz linear operators among spaces of tempered distributions. These operators are the analogous of linear continuous operators among separable Hilbert spaces, but in the case of spaces endowed with Schwartz…
Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra with tests is an algebraic formalism based on regular…
We propose a functional description of rewriting systems where reduction rules are represented by linear maps called reduction operators. We show that reduction operators admit a lattice structure. Using this structure we define the notion…
We define Hecke operators on vector valued modular forms transforming with the Weil representation associated to a discriminant form. We describe the properties of the corresponding algebra of Hecke operators and study the action on modular…
We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path…
A vector sublattice of the order bounded operators on a Dedekind complete vector lattice can be supplied with the convergence structures of order convergence, strong order convergence, unbounded order convergence, strong unbounded order…
Let $G$ be a compact connected Lie group with a maximal torus $T$. Let $A$, $B$ be $G$-$\mathrm{C}^\ast$-algebras. We define certain divided difference operators on Kasparov's $T$-equivariant $KK$-group $KK_T(A,B)$ and show that $KK_G(A,B)$…