Related papers: A refinement of ternary Boolean algebras
We consider Stone algebras with a distinguished element $e$ satisfying the identity $e \to x = \neg \neg x$ for all elements $x$ of the algebra. We provide an adjunction between the category of such algebras and that of Boolean algebras.
This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…
Various structural properties of the space of symmetry breaking boundary conditions that preserve an orbifold subalgebra are established. To each such boundary condition we associate its automorphism type. It is shown that correlation…
We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively,…
We consider a polynomial version of the Cayley numbers. Namely, we define the ring of Cayley polynomials in terms of generators and relations in the category of alternative algebras. The ring turns out to be an octonion algebra over an…
We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar…
It is shown that if T is a ternary ring of operators (TRO), X is a nondegenerate sub-TRO of T and there exists a contractive idempotent surjective map P:T-->X, then P has a unique, explicitly described extension to a conditional expectation…
Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…
We give a simple combinatorial criterion allowing to recognize whether a string (or, more generally, a special biserial) algebra is a laura algebra or not. We also show that a special biserial algebra is laura if and only if it has a finite…
The aim of this paper is to investigate the cohomologies for ternary algebras of associative type. We study in particular the cases of partially associative ternary algebras and weak totally associative ternary algebras. Also, we consider…
This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…
The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates,…
This paper proposes an extension to classical regular expressions by the addition of two operators allowing the inclusion of boolean formulae from the zeroth order logic. These expressions are called constrained expressions. The associated…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.
We show that some ternary quasigroups appear naturally as invariants of classical links and links on surfaces. We also note how to obtain from them invariants of Yoshikawa moves. In our previous paper, we defined homology theory for…
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…
The paper is devoted to a detailed self-contained exposition of a part of the theory of affine planes leading to a construction of affine (or, equivalently, projective) planes not satisfying the Desarques axiom. It is intended to complement…
We determine the structure of two variations on the Temperley-Lieb algebra, both used for dealing with special kinds of boundary conditions in statistical mechanics models. The first is a new algebra, the `blob' algebra (the reason for the…
Operator nucleon vertices are constructed in composite superconformal string model. Splitting of baryon Regge trajectories with the same quantum numbers but with opposite parity is provided by inclusion of simple additional components to…