Related papers: Tense operators on distributive lattices with impl…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…
In this expository note, I present some of the key features of the lattice of torsion classes of a finite-dimensional algebra, focussing in particular on its complete semidistributivity and consequences thereof. This is intended to serve as…
Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra,…
We define the concept of weighted lattice polynomial functions as lattice polynomial functions constructed from both variables and parameters. We provide equivalent forms of these functions in an arbitrary bounded distributive lattice. We…
In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…
Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the corresponding events. It is natural to ask how to introduce the…
One of the major open problems in automata and logic is the following: is there an algorithm which inputs a regular tree language and decides if the language can be defined in first-order logic? The goal of this paper is to present this…
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…
Let $X$ be a vector lattice and $(E,\tau)$ be a locally solid vector lattice. An operator $T:X\to E$ is said to be $ob$-bounded if, for each order bounded set $B$ in $X$, $T(B)$ is topologically bounded in $E$. In this paper, we study on…
In this paper, we investigate operators on Riesz algebras, which are continuous with respect to multiplicative modifications of order convergence and relatively uniform convergence. We also introduce and study mo-Lebesgue, mo-$KB$, and…
Centered weighted composition operators on $L^2$-spaces are characterized. The characterization is obtained without the assumption that the operator is a product of a multiplication and a composition operator. The concept of spectrally…
As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a…
We classify, up to derived (equivalently, tilting-cotilting) equivalence all nondegenerate gentle two-cycle algebras. We also give a partial classification and formulate a conjecture in the degenerate case.
Density operators allow for representing ambiguity about a vector representation, both in quantum theory and in distributional natural language meaning. Formally equivalently, they allow for discarding part of the description of a composite…
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…
We explore aspects of dilation theory in the finite dimensional case and show that for a commuting $n$-tuple of operators $T=(T_1,...,T_n) $ acting on some finite dimensional Hilbert space $H$ and a compact set $X\subset \mathbb{C}^n$ the…
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a…
On the vertex operator algebra associated with rank one lattice we derive a general formula for products of vertex operators in terms of generalized homogeneous symmetric functions. As an application we realize Jack symmetric functions of…
In this paper we consider unbounded weighted conditional type operators on the space Lp, we give some conditions under which they are densely defined and we obtain a dense subset of the domain. Also, we get that a WCT operator is continuous…