
In this paper a geometric characterization of residuated semigroups is presented. But the aim is to develop a method for deciding associativity from the three-dimensional graph of an operation. To do this a geometric characterization of associativity is presented in the paper. This provides a deeper understanding of associativity, which turns out to be fruitful in conjecturing and proving algebraic results in the field of residuated lattices, and in establishing results in corresponding non classical logics. On the other hand, this geometric description has provided the intuition for a contribution to solving a long-standing open problem in the field of associative functions [see \textit{S. Jenei}, Aequationes Math. 72, No. 1-2, 47-59 (2006; Zbl 1101.39010)]. Throughout the paper the author illustrates his geometric characterization by computer generated pictures of surfaces in the unit cube. The aim of this paper in not only to introduce a kind of visualization aspect but, in addition, to understand algebraic relationships in a geometric manner. It is interesting to notice that when conjecturing algebraic results based on geometric motivations, one can first heuristically prove them using geometry. Then the steps of the geometric hint can be translated step by step into an algebraic proof.
Commutative semigroups, groupoids, associativity, Ordered semigroups and monoids, residuated lattices, rotation-invariance, Sets with a single binary operation (groupoids), Fuzzy logic; logic of vagueness, Theory of fuzzy sets, etc.
Commutative semigroups, groupoids, associativity, Ordered semigroups and monoids, residuated lattices, rotation-invariance, Sets with a single binary operation (groupoids), Fuzzy logic; logic of vagueness, Theory of fuzzy sets, etc.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 16 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
