Related papers: Pseudo Equality Algebras -- Revision
The set theory relations \in, \backslash, \Delta, \cap, and \cup have corollaries in subspace relations. Geometric Algebra is introduced as the ideal framework to explore these subspace operations. The relations \in, \backslash, and \Delta…
For a given variety Var of algebras we define the variety Var of dialgebras. This construction turns to be closely related with varieties of pseudo-algebras: every Var-dialgebra can be embedded into an appropriate pseudo-algebra of the…
Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…
We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a…
The notion of compatible braidings was introduced by Isaev, Ogievetsky and Pyatov. On the base of this notion they defined certain quantum matrix algebras generalizing the RTT algebras and Reflection Equation ones. They also defined analogs…
We present a way to associate an algebra $B_G (\Upsilon) $ with every pseudo reflection group $G$. When $G$ is a Coxeter group of simply-laced type we show $B_G (\Upsilon)$ is isomorphic to the generalized Brauer algebra of simply-laced…
We introduce "synchronous algebras", an algebraic structure tailored to recognize automatic relations (aka. synchronous relations, or regular relations). They are the equivalent of monoids for regular languages, however they conceptually…
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
In this paper, we introduce a novel generalization of the classical property of algebras known as "being alternative," which we term "partially alternative." This new concept broadens the scope of alternative algebras, offering a fresh…
In this paper we define an equivalence relation on the set of all $x_{J}$ in order to form a basis for a new descent algebra of Weyl groups of type $A_{n}$. By means of this, we construct a new commutative and semi-simple descent algebra of…
Kleene algebras (KA) and Kleene algebras with tests (KAT) provide an algebraic framework to capture the behavior of conventional programming constructs. This paper explores a broader understanding of these structures, in order to enable the…
We investigate a construction of a pseudo BL-algebra out of an $\ell$-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As…
This paper defines a new pseudometric for binary relations between finite sets that measures consensus among subsets. The main results are (1) a concise restatement of this pseudometric with an intuitively appealing interpretation via a…
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which…
A metric algebra is a metric variant of the notion of $\Sigma$-algebra, first introduced in universal algebra to deal with algebras equipped with metric structures such as normed vector spaces. In this paper, we showed metric versions of…
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 a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses…
Given an algebra with an idempotent, we introduce two procedures to construct families of new algebras, termed mirror-reflective algebras and reduced mirror-reflective algebras. We then establish connections among these algebras by…
In this work, we introduce a new class of algebras called skew-Brauer graph algebras, which generalize the well-known Brauer graph algebras. We establish that skew-Brauer graph algebras are symmetric and can be defined using a Brauer graph…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…