نتایج جستجو برای: left semi

تعداد نتایج: 433934  

Journal: :iranian journal of fuzzy systems 0
yuan wang college of information engineering, yancheng teachers university, jiangsu 224002, people's republic of china keming tang college of information engineering, yancheng teachers university, jiangsu 224002, people's republic of china zhudeng wang school of mathematics and statistics, yancheng teachers university, jiangsu 224002, people's republic of china

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Journal: :journal of linear and topological algebra (jlta) 0
moiz ud din khan department of mathematics, comsats institute of information technology, park road, islamabad, pakistan. s azam punjab education department, pakistan.

in this paper, we have de ned and studied a generalized form of topological vectorspaces called s-topological vector spaces. s-topological vector spaces are de ned by using semi-open sets and semi-continuity in the sense of levine. along with other results, it is provedthat every s-topological vector space is generalized homogeneous space. every open subspaceof an s-topological vector space is ...

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Journal: :Fundamenta Mathematicae 1969

Journal: :Journal of Algebra 2022

We introduce left and right series of semi-braces. This allows to define nilpotent study the structure such semi-braces generalize some results, known for skew braces, B that set additive idempotents E is an ideal . Finally we concept a semi-brace show multiplicative group nilpotent.

Journal: :Fuzzy Sets and Systems 2012
Huawen Liu

In this paper, we study the relationships between left (right) semi-uninorms and implications on a complete lattice. We firstly discuss the residual operations of left and right semi-uninorms and show that the right (left) residual operator of a conjunctive right (left) ∨-distributive left (right) semi-uninorm is a right ∧-distributive implication that satisfies the neutrality principle. Then, ...

1990
Fritz Henglein

Semi-unification is a generalization of both unification and matching with applications in proof theory, term rewriting systems, polymorphic type inference, and natural language processing. It is the problem of solving a set of term inequalities M1 ≤ N1, . . . ,Mk ≤ Nk, where ≤ is interpreted as the subsumption preordering on (first-order) terms. Whereas the general problem has recently been sh...

Journal: :Proceedings of the American Mathematical Society 1966

Journal: :Kybernetika 2013
Yong Su Zhudeng Wang Keming Tang

Uninorms are important generalizations of triangular norms and conorms, with a neutral element lying anywhere in the unit interval, and left (right) semi-uninorms are non-commutative and non-associative extensions of uninorms. In this paper, we firstly introduce the concepts of left and right semi-uninorms on a complete lattice and illustrate these notions by means of some examples. Then, we la...

In this article the notions of semi weak orthogonality and semi weak factorization structure in a category $mathcal X$ are introduced. Then the relationship between semi weak factorization structures and quasi right (left) and weak factorization structures is given. The main result is a characterization of semi weak orthogonality, factorization of morphisms, and semi weak factorization structur...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید