Abstract:Abstract The concept of a Sheffer operation known for Boolean algebras and orthomodular lattices is extended to arbitrary directed relational systems with involution. It is proved that to every such relational system, there can be assigned a Sheffer groupoid and also, conversely, every Sheffer groupoid induces a directed relational system with involution. Hence, investigations of these relational systems can be transformed to the treatment of special groupoids which form a variety of algebras. If the Sheffer operation is also commutative, then the induced binary relation is antisymmetric. Moreover, commutative Sheffer groupoids form a congruence distributive variety. We characterize symmetry, antisymmetry and transitivity of binary relations by identities and quasi-identities satisfied by an assigned Sheffer operation. The concepts of twist products of relational systems and of Kleene relational systems are introduced. We prove that every directed relational system can be embedded into a directed relational system with involution via the twist product construction. If the relation in question is even transitive, then the directed relational system can be embedded into a Kleene relational system. Any Sheffer operation assigned to a directed relational system $${\mathbf {A}}$$ A with involution induces a Sheffer operation assigned to the twist product of $${\mathbf {A}}$$ A .

Orthogonal relational systems

Sheffer operation in relational systems

Orthogonal Systems in Vector Spaces over Finite Fields

Orthogonal Howe duality and dynamical (split) symmetric pairs

Totally orthogonal finite simple groups

Orthogonality Spaces Associated with Posets

New Families of Finite Coherent Orthoalgebras without Bivaluations

Orthogonal webs and semisimplification

Decomposable ordered groups

Linear and smooth oriented equivalence of orthogonal representations of finite groups

Azumaya Algebras With Orthogonal Involution Admitting an Improper Isometry

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

Relational generalized iterated function systems

Diagonals and Block-Ordered Relations

On the Existence of an Orthogonal Factorization System on 1-Cob and 2-Cob

Equality of orthogonal transvection group and elementary orthogonal transvection group

Invariant classes for families of complexes

On orthogonal types to the value group and residual domination

A note on orthogonal decomposition of sl n over commutative rings

On Orthogonalities in Matrices

Curvilinearity and Orthogonality