Related papers: Tense operators on m-symmetric algebras
In this article, we completely determine the isomorphism classes of lattice vertex operator algebras and the vertex operator subalgebras fixed by a lift of the -1-isometry of the lattice. We also provide similar results for certain even…
We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and the descriptive two-sorted general frames of Ten Cate. We…
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…
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal operators on Nelson lattices. To achieve this, we utilize…
We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the…
In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois…
We introduce a class of Vertex Operator Algebras which arise at junctions of supersymmetric interfaces in ${\cal N}=4$ Super Yang Mills gauge theory. These vertex algebras satisfy non-trivial duality relations inherited from S-duality of…
We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial…
We study cocycle properties of vertex operators and present an operator representation of cocycle operators, which are attached to vertex operators to ensure the duality of amplitudes. It is shown that this analysis makes it possible to…
Practically and intrinsically, inclusions of operator algebras are of fundamental interest. The subject of this paper is intermediate operator algebras of inclusions. There are two previously known theorems which naturally and completely…
A discrete duality is a relationship between classes of algebras and classes of relational systems (frames) resulting in two representation theorems building on the early work of J\'onsson and Tarski, Kripke, and van Benthem. In this…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
We study Frobenius algebras of operator fields and introduce a novel notion of duality for them. We show that, under the assumption that the operator fields forming the Frobenius algebra are mutual symmetries, the operator fields in the…
We display a family of Stone-type dualities linking categories of frames carrying pairs of modal operators to categories of spaces carrying a binary relation. Different notions of morphism used on the relational side lead to significant…
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…
Given a two-dimensional quantum lattice model with an abelian gauge theory interpretation, we investigate a duality operation that amounts to gauging its invertible 1-form symmetry, followed by gauging the resulting 0-form symmetry in a…
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.…
We consider the generators of gauge transformations with test functions which do not vanish on the boundary of a spacelike region of interest. These are known to generate the edge degrees of freedom in a gauge theory. In this paper, we…
On the exterior algebra over the quantum SU(2) coming from the four dimensional bicovariant calculus \`a la Woronowicz we introduce, using sesquilinear contraction maps, a class of metrics and Hodge duality operators, and compare this…
We notice that for any positive integer $k$, the set of $(1,2)$-specialized characters of level $k$ standard $A_{1}^{(1)}$-modules is the same as the set of rescaled graded dimensions of the subspaces of level $2k+1$ standard…