Related papers: A new look at Ternary Boolean Algebras

The class of associative trialgebras, also known as triassociative algebras, is characterized by three multiplications and eleven relations that generalize associativity. In the current paper, we present a study of nilpotent triassociative…

We develop deformation theory of algebras over quadratic operads where the parameter space is a commutative local algebra. We also give a construction of a distinguised deformation of an algebra over a quadratic operad with a complete local…

The present text surveys some relevant situations and results where basic Module Theory interacts with computational aspects of operator algebras. We tried to keep a balance between constructive and algebraic aspects.

In this note, we construct and study an algebraic system similar to the natural numbers, but with noncommutative addition. The addition we introduce is a binary operation that commutes with itself in the sense of N. Durov. Neverheless, the…

A ternary Nambu-Poisson algebra (which we call a Nambu-Poisson algebra in the paper) is the underlying algebraic structure of Nambu-Poisson manifolds of order $3$ that appeared in the generalized Hamiltonian mechanics. First, we consider…

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We…

The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…

We show that each irreducible tensor representation of weight 2 of the rotation group of three-dimensional space in the space of rank 3 covariant tensors gives rise to an associative algebra with unity. We find the algebraic relations that…

We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation called a higher dimensional congruence. The hypercommutator is…

Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…

We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise…

In this paper, we extend the concept of Lie superalgebras to a more generalized framework called Super-Lie superalgebras. In addition, they seem to be exploring various supergeneralizations of other algebraic structures, such as…

We present coalgebras of some classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3-order symmetric group. Amongst these algebras we find the well-known Vinberg algebras, the…

We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…

In this paper, we study the complexity of evaluating Conjunctive Queries with negation (\cqneg). First, we present an algorithm with linear preprocessing time and constant delay enumeration for a class of CQs with negation called…

Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables…

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification…

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four…

In this work, the partially and totally hom-coassociative ternary coalgebras are constructed and discussed. Their {infinitesimal} bialgebraic structures are also investigated. The related dual space structures and their properties are…

In extending results from Lie to Leibniz algebras, it is helpful to have techniques which translate results from the former to the latter without having to repeat the (perhaps modified) arguments. Such a technique is developed in this work,…