General properties of ternary semigroups and groups are considered. The bi-element representation theory in which every representation matrix corresponds to a pair of elements is built, connection with the standard theory is considered and several concrete examples are constructed. For clarity the shortened versions of classical Gluskin-Hosszú and Post theorems are given for them.

Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantalevalued functions relative to ternary relations. The resulting notion of relational convolution leads to generalised binary and unary modal operators for qualitative and quantitative models, and to more conventional variants, when ternary ...

We investigate the results of a partially ordered ternary semigroup containing right bases and characterize when non-empty subset is base. Moreover, we give characterization base to be subsemigroup show that have same cardinality. Finally, complement union all maximal proper left ideal.