
The main results are about the groups of the negations on the unit square, which is considered as a bilattice. It is proven that all the automorphisms on it form a group; the set, containing the monotonic isomorphisms and the strict negations of the first (or the second or the third) kind, with the operator “composition,” is a groupG2(orG3orG4, correspondingly). All these four kinds of mappings form a groupG5. And all the groupsGi,i=2,3,4are normal subgroups ofG5. Moreover, forG5, a generator set is given, which consists of all the involutive negations of the second kind and the standard negation of the first kind. As a subset of the unit square, the interval-valued set is also studied. Two groups are found: one group consists of all the isomorphisms onLI, and the other group contains all the isomorphisms and all the strict negations onLI, which keep the diagonal. Moreover, the former is a normal subgroup of the latter. And all the involutive negations on the interval-valued set form a generator set of the latter group.
Technology, Logic, T, Science, Q, R, Mathematical Concepts, Models, Theoretical, Artificial Intelligence, Medicine, Research Article
Technology, Logic, T, Science, Q, R, Mathematical Concepts, Models, Theoretical, Artificial Intelligence, Medicine, Research Article
| 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). | 0 | |
| 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). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
