In this paper, the orders induced by the residual implications obtained from uninorms are investigated. A necessary and sufficient condition is presented so that the ordinal sum of fuzzy implications satisfies the law of importation with a t-norm $T$. Some relationships between the orders induced by an ordinal sum implication and its summands are determined. The algebraic structures obtained fr...

Abstract We explore the relationship between weighted path orders and (monotonic) semantic orders. Our findings reveal that can be considered instances of a variant comprise order pairs. This observation leads to generalization does not impose simplicity on their underlying algebras. As result, generalized version is capable proving termination term rewrite systems beyond realm simple terminati...

A subsemigroup S of a semigroup Q is a local left order in Q if, for every group H-class H of Q, S ∩ H is a left order in H in the sense of group theory. That is, every q ∈ H can be written as ab for some a, b ∈ S ∩ H , where a denotes the group inverse of a in H . On the other hand, S is a left order in Q and Q is a semigroup of left quotients of S if every element of Q can be written as cd wh...

A subsemigroup S of a semigroup Q is a left order in Q and Q is a semigroup of left quotients of S if every element of Q can be expressed as ab where a, b ∈ S and if, in addition, every element of S that is square cancellable lies in a subgroup of Q. Here a denotes the inverse of a in a subgroup of Q. We say that a left order S is straight in Q if in the above definition we can insist that aR b...

Germanane, a hydrogen-terminated graphane analogue of germanium has generated interest as a potential 2D electronic material. However, the incorporation and retention of extrinsic dopant atoms in the lattice, to tune the electronic properties, remains a significant challenge. Here, we show that the group-13 element Ga and the group-15 element As, can be successfully doped into a precursor CaGe2...

The paper submitted deals with the investigation of failures of railway structures by means of the Method of higher orders spectra. The reason why Method of higher orders spectra is prospective in future is that unlike other non-destructive methods this one offers a high-quality information on the existence of non-linear processes in material and geometrically complex investigated samples (stru...