Related papers: A refinement of ternary Boolean algebras
Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply the properties which usually are…
The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are hard to implement due to a lack of a systematic theoretical…
Ternary algebras, constructed from ternary commutators, or as we call them, ternutators, defined as the alternating sum of products of three operators, have been shown to satisfy cubic identities as necessary conditions for their existence.…
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…
A concise study of ternary and cubic algebras with $Z_3$ grading is presented. We discuss some underlying ideas leading to the conclusion that the discrete symmetry group of permutations of three objects, $S_3$, and its abelian subgroup…
Algebraic operations are understood as topologiztion of algebra. They become an example of simplest convergence space. In our article the convergence is a arbitrary multivalued appointment. The continuity of some mapping between two…
We construct explicitly groups associated to specific ternary algebras which extend the Lie (super)algebras (called Lie algebras of order three). It turns out that the natural variables which appear in this construction are variables which…
Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of…
This note presents a method of interpreting the tree adjoining languages as the natural third step in a hierarchy that starts with the regular and the context-free languages. The central notion in this account is that of a higher-order…
We discuss multiplicative properties of the binary quadratic form $a x^2 + b x y + c y^2$ by considering a ring of matrices which is closed under a triple product. We prove that the ring forms a ternary algebra in the sense of Hestenes, and…
We devise a ternary operation for combining three quantum states: it consists of permuting the input systems in a continuous fashion and then discarding all but one of them. This generalizes a binary operation recently studied by Audenaert…
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract…
Lian and Zuckerman proved that the homology of a topological chiral algebra can be equipped with the structure of a BV-algebra; \ie one can introduce a multiplication, an odd bracket, and an odd operator $\Delta$ having the same properties…
Given two baric algebras $(A_1,\omega_1)$ and $(A_2,\omega_2)$ we describe a way to define a new baric algebra structure over the vector space $A_1\oplus A_2$, which we shall denote $(A_1\bowtie A_2,\omega_1\bowtie\omega_2)$. We present…
We prove the existence of ternary forms admitting apolar sets of points of cardinality equal to the Waring rank, but having different Hilbert function and different regularity. This is done exploiting liaison theory and Cayley-Bacharach…
We study partially and totally associative ternary algebras of first and second kind. Assuming the vector space underlying a ternary algebra to be a topological space and a triple product to be continuous mapping we consider the trivial…
The present paper is devoted to the study of dimonoids, algebraic structures with two associative binary operations that satisfy a prescribed system of axioms. We investigate the properties of dual dimonoids. In the class of noncommutative…
We introduce a notion of ternary $F$-manifold algebras which is a generalization of $F$-manifold algebras. We study representation theory of ternary $F$-manifold algebras. In particular, we introduce a notion of dual representation which…
When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…