Search

If (S, ◦,≤) is an ordered hypersemigroup, an equivalence relation ρ on S is called congruence if (a, b) ∈ ρ implies (a ◦ x, b ◦ x) ∈ ρ and (x ◦ a, x ◦ b) ∈ ρ for every x ∈ S ; in the sense that for every u ∈ a ◦ x there exists v ∈ b ◦ x such that (u, v) ∈ ρ and for every u ∈ x◦a there exists v ∈ x◦b such that (u, v) ∈ ρ. It has been proved in Turk J Math 2021(5) [On the paper “A study on (strong) order-congruences in ordered semihypergroups”] that if S is an ordered hypersemigroup, then there exists a congruence ρ on S such that S/ρ is an ordered hypersemigroup. This result, is the main result for an involution ordered hypersemigroup by Xinyang Feng, Jian Tang and Yanfeng Luo in U.P.B. Sci. Bull, Series A, 2018, but its proof is wrong; the correct proof is given in the present paper. Examples illustrate the results. [ABSTRACT FROM AUTHOR]

This note is written to show that the definition of the LA-semihypergroup by V. Amjad, K. Hila and F. Yousafzai "Generalized hyperideals in locally associative left almost semihypergroups, New York J. Math. 2014" should be corrected and that it is not enough to replace the multiplication "·" of an LA-semigroup by the hyperoperation "ο" to pass from an LA-semigroup to an LA-semihypergroup. The two examples of the paper based on the definition of the LA-semihypergroup are wrong that is a further indication that this definition needs correction. According to the last section of the paper, the paper generalizes the results of an LA-semigroup by M. Akram, N. Yaqoob and M. Khan "On (m, n) -ideals of left almost semigroups, Appl. Math. Sci. (Ruse) 2013" while the paper duplicates, without citation, the section 4 of the paper by W. Khan, F. Yousafzai, W. Guo and M. Khan "On (m, n) -ideals of left almost semigroups, J. Semigroup Theory Appl. 2014" with the usual change of "·" to "ο". [ABSTRACT FROM AUTHOR]

This paper explores the ideals and their structural properties in two generalizations of the partial transformation semigroup. Furthermore, principal, maximal, and minimal ideals within these semigroups are elucidated. [ABSTRACT FROM AUTHOR]

As a continuation of the paper "Adjunction Identity to Hypersemigroup" in Turk J Math 2022; 46 (7): 2834-2853, it has been proved here that the adjunction of a greatest element to an ordered hypersemigroup is actually an embedding problem. The concept of pseudoideal has been introduced and has been proved that for each ordered hypersemigroup S an ordered hypersemigroup V having a greatest element (poe-hypersemigroup) can be constructed in such a way that there exists a pseudoideal T of S such that S is isomorphic to T. If S does not have a greatest element, then this can be regarded as the embedding of an ordered hypersemigroup in an ordered semigroup with greatest element. [ABSTRACT FROM AUTHOR]

This is from the paper "Hypergroupes canoniques valués et hypervalués" by J. Mittas in Mathematica Balkanica 1971: "The concept of hypergroup introduced by Fr. MARTY in 1934 [Actes du Congrès des Math. Scand. Stocholm 1935, p. 45] is as follows: "A hypergroup is a nonempty set H endowed with a multiplication xy such that, for every x, y, z ? H, the following hold: (1) xy ? H; (2) x(yz) = (xy)z and (3) xH = Hx = H. The first condition expresses that the multiplication is an hyperoperation on H, in other words, the composition of two elements x, y of H is a subset of H. It is very easy to prove that for any x, y ? H, we have xy ?= Ø." Although according to Mittas "it is very easy to prove that xy ?= Ø", this is not possible. The notation x(yz) has a meaning of course if we identify the x by {x} and define an operation between sets. The authors working on hypersemigroups added in the definition by Mittas, the following: x(yz) = (xy)z means that ? u?yz xu = ? v?xy vz. But we never use this last equality in the papers on hypersemigroups in which we always use the x(yz) = (xy)z. As a result, most of the results of ordered hypersemigroups are copies from corresponding results on ordered semigroups in which the multiplication "·" has been replaced by "?". [ABSTRACT FROM AUTHOR]

Inequalities are frequently used in various fields of mathematics to prove theorems. The existence of inequalities contributes significantly to the foundations of such branches. In this paper, we study the properties of order relations in the system of dual numbers, which is inspired by order relations defined on real numbers. Besides, some special inequalities that are used in various fields of mathematics, such as Cauchy-Schwarz, Minkowski, and Chebyshev are studied in this framework. An example is also provided to validate our research findings. [ABSTRACT FROM AUTHOR]

Solving math word problems (MWP) is a challenging task due to the semantic gap between natural language texts and mathematical equations. The main purpose of the task is to take a written math problem as input and produce a proper equation as output for solving that problem. This paper describes a sequence-to-sequence (seq2seq) neural model for automatically solving Turkish MWPs based on their semantic meanings in the text. It comprises a bidirectional encoder to comprehend the semantics of the problem by encoding the input sequence and a decoder with attention to extract the equation by tracking the semantic meanings of the output symbols. We investigate the success of several embedding types, pretrained language models, and neural models. Our research is novel in the sense that there exist no studies in Turkish on this natural language processing task that utilizes pretrained language models and neural models. There is also no Turkish dataset that can be used to train the neural models for the MWP task. As the first large-scale Turkish MWP dataset, we translated the well-known English MWP datasets into Turkish using a machine translation system. Although Turkish is an agglutinative and grammatically challenging language, the proposed models achieve around 72% accuracy on the dataset compiled from three English datasets. [ABSTRACT FROM AUTHOR]

The weak L1 -space meets in many areas of mathematics. For example, the conjugate functions of Lebesgue integrable functions belong to the weak L1 -space. The difficulty of working with the weak L1 -space is that the weak L1 -space is not a normed space. Moreover, infinitely differentiable (even continuous) functions are not dense in this space. Due to this, the theory of approximation was not produced in this space. In the present paper, we introduced the concept of the modulus of continuity of the functions from the weak L1 -space, studied its properties, found a criterion for convergence to zero of the modulus of continuity of the function from the weak L1 -space, and proved in this space an analogue of the Jackson-type theorem. [ABSTRACT FROM AUTHOR]

In a recent paper, Yu et al. obtained convergence and stability results of the K* iterative method for quasistrictly contractive mappings [An iteration process for a general class of contractive-like operators: Convergence, stability and polynomiography. AIMS Mathematics 2021; 6 (7): 6699-6714.]. To guarantee these convergence and stability results, the authors imposed some strong conditions on parametric control sequences which are used in the K* iterative method. The aim of the presented work is twofold: (a) to recapture the aforementioned results without any restrictions imposed on the mentioned parametric control sequences (b) to complete the work of Yu et al. by adding a result regarding the data dependency of the fixed points of quasi-strictly contractive mappings. We also furnish some illustrative examples to support our results. Our work can be considered an important refinement and complement of the work of Yu et al. [ABSTRACT FROM AUTHOR]

In this paper, we have characterized the nature and form of solutions of the following nonlinear delaydifferential equation where bi C, L(z, f) are a linear delay-differential polynomial of f; n is positive integers; q, Q and P respectively are nonzero, nonconstant and any polynomials. Different special cases of our result will accommodate all the results of [J. Math. Anal. Appl., 452(2017), 1128-1144; Mediterr. J. Math., 13(2016), 3015-3027; Open Math., 18(2020), 1292-1301]. Thus our result can be considered as an improvement of all of them. We have also illustrated a handful number of examples to show that all the cases as demonstrated in our theorem actually occur and consequently the same are automatically applicable to the previous results. [ABSTRACT FROM AUTHOR]