Results 1 to 10 of about 36 (35)
Uniform topology on EQ-algebras
Open Mathematics, 2017 In this paper, we use filters of an EQ-algebra E to induce a uniform structure (E, 𝓚), and then the part 𝓚 induce a uniform topology 𝒯 in E. We prove that the pair (E, 𝒯) is a topological EQ-algebra, and some properties of (E, 𝒯) are investigated.
Jiang Yang
exaly +3 more sources
From ∨e-Semigroups to Hypersemigroups
Discussiones Mathematicae - General Algebra and Applications, 2021 A poe-semigroup is a semigroup S at the same time an ordered set having a greatest element “e” in which the multiplication is compatible with the ordering.
Kehayopulu Niovi
doaj +1 more source
Prime preideals on bounded EQ-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 EQ-algebras were introduced by Novák in [14] as an algebraic structure of truth values for fuzzy type theory (FFT). In [1], Borzooei et. al. introduced the notion of preideal in bounded EQ-algebras.
Akhlaghinia N. +2 more
doaj +1 more source
Some Properties of Relative Bi-(Int-)Γ-Hyperideals in Ordered Γ-Semihypergroups
Frontiers in Physics, 2020 In this article, we study the concept of relative bi-Γ-hyperideals (J-bi-Γ-hyperideals) in ordered Γ-semihypergroups and present some related examples of this concept.
Yongsheng Rao +5 more
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2020 This note is written to show that the definition of the LA- Γ -hypersemi-group and the definition of the ordered LA- Γ -hypersemigroup in [2] should be corrected and that it is not enough to replace the “Γ” of the ordered LA-Γ-semigroup by “◦ Γ ◦” to ...
Kehayopulu Niovi
doaj +1 more source
The L-ordered L-semihypergroups
Open Mathematics, 2020 This study pursues an investigation on L-semihypergroups equipped with an L-order. First, the concept of L-ordered L-semihypergroups is introduced by L-posets and L-semihypergroups, and some related results are obtained.
Su Shuhua, Liu Fuyao, Yang Shuqun
doaj +1 more source
Generalized state maps and states on pseudo equality algebras
Open Mathematics, 2018 In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y.
Cheng Xiao Yun +2 more
doaj +1 more source
Discussiones Mathematicae - General Algebra and Applications, 2019 In this paper, we introduce the notion of a Г-field as a generalization of field, study them properties of a Г -field and prove that M is a Г-field if and only if M is an integral, simple and commutative Г-ring.
Rao Marapureddy Murali Krishna
doaj +1 more source
Very true operators on MTL-algebras
Open Mathematics, 2016 The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also,
Wang Jun Tao +2 more
doaj +1 more source
Relaxed Weighted Path Order in Theorem Proving
, 2020 We propose an extension of the automated theorem prover E by the weighted path order- ing (WPO). Weighted path ordering is theoretically stronger than all the orderings used in E Prover, however its parametrization is more involved than those normally ...
Kaliszyk, Cezary +3 more
core +1 more source