Related papers: Unsharp residuation in effect algebras
Kite pseudo effect algebras were recently introduced as a class of interesting examples of pseudo effect algebras using a po-group, an index set and two bijections on the index set. We represent kite pseudo effect algebras with a special…
We introduce persistence with an emphasis on its algebraic foundations, using the representation theory of posets. Linear representations of posets arise in several areas of mathematics, including the representation theory of quivers and…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the…
We present a matrix-theoretic approach for studying and enumerating finite posets through their incidence representations, referred to as poset matrices. Naturally labelled posets are encoded as Boolean lower triangular matrices, allowing a…
Algebraic effects & handlers have become a standard approach for side-effects in functional programming. Their modular composition with other effects and clean separation of syntax and semantics make them attractive to a wide audience.…
A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed…
We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade…
In this paper we characterize finite effect algebras which have a state. We construct two matrices $A$ and $B$ assigned to a finite effect algebra $E$ and show that if $E$ has a state then rank$A=$ rank$B$.
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
In experimental design, aliasing of effects occurs in fractional factorial experiments, where certain low order factorial effects are indistinguishable from certain high order interactions: low order contrasts may be orthogonal to one…
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is…
Given an algebra $A$ and an $A-A$-bimodule $U$ with co-algebra structure, a bocs, the algebras of endomorphisms of $A$ as left or right module of the bocs are known as Burt-Butler algebras (up to an appropriate opposite). Here we give a…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
In this paper we characterize the effect algebras whose sharp and principal elements coincide. We also give examples of two non-isomorphic effect algebras having the same universum, partial order and orthosupplementation.
We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower…
We consider Borcherds superalgebras obtained from semisimple finite-dimensional Lie algebras by adding an odd null root to the simple roots. The additional Serre relations can be expressed in a covariant way. The spectrum of generators at…
The study of Frobenius algebras in the category $\mathbf{Rel}$ via their nerve functor into simplicial sets has been introduced recently. In this article, we focus on the particular case of effect algebras and pseudo effect algebras and…
We introduce a new class of algebras called Poisson orders. This class includes the symplectic reflection algebras of Etingof and Ginzburg, many quantum groups at roots of unity, and enveloping algebras of restricted Lie algebras in…
The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible…