A Note on “Semi-Uninorms and Implications on a Complete Lattice”

Feng Sun,Xiaobo Qu,Xueping Wang

DOI: https://doi.org/10.1016/j.fss.2015.10.011

IF: 4.462

2016-01-01

Fuzzy Sets and Systems

Abstract:This note shows a counterexample to Theorem 3.2 in Liu (2012) [3] concerning implications generated from semi-uninorms over a complete lattice, and gives the corresponding corrections.

What problem does this paper attempt to address?

Two Types of Ordinal Sums of Fuzzy Implications on Bounded Lattices

Bin Zhao,Haiwei Wang

DOI: https://doi.org/10.1016/j.ins.2022.08.040

IF: 8.1

2022-01-01

Information Sciences

Abstract:In this paper, two kinds of ordinal sums of fuzzy implications on bounded lattices are provided. The first one is complementing a specific fuzzy implication to a given family of fuzzy implications defined on pairwise disjoint closed subintervals of a bounded lattice. The second way is defining specific values outside the given family of countably many subintervals, where the endpoints of the subintervals constitute a chain. For the first way, necessary and sufficient conditions for a fuzzy implication to be a complement of a given family of fuzzy implications such that the ordinal sum is a fuzzy implication are provided, which generalize some results of fuzzy implications on the real unit interval. Based on this, we deal with those elements that are incomparable with the endpoints of the given subintervals and provide a fuzzy implication as a complement such that for arbitrary family of fuzzy implications on the given subintervals, the ordinal sum is always a fuzzy implication. For the second ordinal sum, we provide two methods for defining values outside the given subintervals that are shown to be always fuzzy implications.
Some Further Results about Uninorms on Bounded Lattices

Bin Zhao,Tao Wu

DOI: https://doi.org/10.1016/j.ijar.2020.12.008

IF: 4.452

2021-01-01

International Journal of Approximate Reasoning

Abstract:The main purpose of this paper is to solve the problem proposed by Çaylı about uninorms on bounded lattices and build close relationships among uninorms constructed in this paper. Based on the known construction methods and researchers' work, we obtain new uninorms on L with the given t-norm and t-conorm by using closure (interior) operators. The new construction methods provide answers to the problem presented by Çaylı. All classes of uninorms constructed via closure (interior) operators in this paper can be closely connected in a quadruple from the views of the logics of finite observations.
A Note on Aubin-Lions-Dubinskiĭ Lemmas

Xiuqing Chen,Ansgar Jüngel,Jian-Guo Liu

DOI: https://doi.org/10.1007/s10440-013-9858-8

IF: 1.563

2013-11-22

Acta Applicandae Mathematicae

Abstract:Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinskiĭ lemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a result of Dubinskiĭ (in Mat. Sb. 67(109):609–642, 1965) for seminormed cones. The second theorem applies to piecewise constant functions in time and sharpens slightly the results of Dreher and Jüngel (in Nonlinear Anal. 75:3072–3077, 2012) and Chen and Liu (in Appl. Math. Lett. 25:2252–2257, 2012). An application is given, which is useful in the study of porous-medium or fast-diffusion type equations.

mathematics, applied
A Note on Lattice Coverings

Fei Xue,Chuanming Zong

DOI: https://doi.org/10.48550/arxiv.1402.4965

2014-01-01

Abstract:This note presents an interesting counterexample to a basic covering problem.
A Note on Completeness of L-Partially Ordered Sets.

Min Liu,Kaiyun Wang,Bin Zhao

DOI: https://doi.org/10.1142/9789814401531_0070

2012-01-01

Abstract:In this note, we give some properties of ideals in L-partially ordered sets, and we mainly prove that an L-partially ordered set is complete if and only if it is finitely join complete and directed complete.
Characterizing uninorms on bounded lattices

Xinxing Wu,Guanrong Chen

DOI: https://doi.org/10.48550/arXiv.2003.10255

2020-03-20

General Mathematics

Abstract:This paper establishes some equivalent conditions of a uninorm, extending an arbitrary triangular norm on [0, e] or an arbitrary triangular conorm on [e, 1] to the whole lattice.
Constructions of uninorms on bounded lattices by means of t-subnorms and t-subconorms

Wei Ji

DOI: https://doi.org/10.1016/j.fss.2019.12.003

IF: 4.462

2021-01-01

Fuzzy Sets and Systems

Abstract:<p>In the literature on uninorms on lattices, the proof of associativity of a uninorm is usually split into all possible cases, which takes up a lot of space. In this article, we use commutativity to reduce the complexity in the proof of associativity. Moreover, some methods for constructing uninorms on an arbitrary bounded lattice are introduced. These methods generalize some construction methods in the literature.</p>

mathematics, applied,statistics & probability,computer science, theory & methods
Some further construction methods for uninorms via uninorms

Zhenyu Xiu,Xu Zheng

2023-12-03

Abstract:In this paper, we further investigate new construction methods for uninorms on bounded lattices via given uninorms. More specifically, we first construct new uninorms on arbitrary bounded lattices by extending a given uninorm on a subinterval of the lattices under necessary and sufficient conditions on the given uninorm. Moreover, based on the new uninorms, we can give another sufficient and necessary condition under which $S_{1}^{*}$ is a $t$-conorm ($T_{1}^{*}$ is a $t$-norm) in \cite{SS06}. Furthermore, using closure operators (interior operators), we also provide new construction methods for uninorms by extending the given uninorm on a subinterval of a bounded lattice under some additional constraints and simultaneously investigate the additional constraints carefully and systematically. Meanwhile, some illustrative examples for the above construction methods of uninorms on bounded lattices are provided.

Logic
Ordinal sums of triangular norms on a bounded lattice

Yao Ouyang,Hua-Peng Zhang,Bernard De Baets

DOI: https://doi.org/10.1016/j.fss.2020.02.003

IF: 4.462

2021-04-01

Fuzzy Sets and Systems

Abstract:<p>The ordinal sum construction provides a very effective way to generate a new triangular norm on the real unit interval from existing ones. One of the most prominent theorems concerning the ordinal sum of triangular norms on the real unit interval states that a triangular norm is continuous if and only if it is uniquely representable as an ordinal sum of continuous Archimedean triangular norms. However, the ordinal sum of triangular norms on subintervals of a bounded lattice is not always a triangular norm (even if only one summand is involved), if one just extends the ordinal sum construction to a bounded lattice in a naïve way. In the present paper, appropriately dealing with those elements that are incomparable with the endpoints of the given subintervals, we propose an alternative definition of ordinal sum of countably many (finite or countably infinite) triangular norms on subintervals of a complete lattice, where the endpoints of the subintervals constitute a chain. The completeness requirement for the lattice is not needed when considering finitely many triangular norms. The newly proposed ordinal sum is shown to be always a triangular norm. Several illustrative examples are given.</p>

mathematics, applied,statistics & probability,computer science, theory & methods
A Szemerédi type theorem for sets of positive density in approximate lattices

Michael Björklund,Alexander Fish

2024-09-12

Abstract:An extension of Szemerédi's Theorem is proved for sets of positive density in approximate lattices in general locally compact and second countable abelian groups. As a consequence, we establish a recent conjecture of Klick, Strungaru and Tcaciuc. Via a novel version of Furstenberg's Correspondence principle, which should be of independent interest, we show that our Szemerédi Theorems can be deduced from a general \emph{transverse} multiple recurrence theorem, which we establish using recent works of Austin.

Dynamical Systems,Combinatorics,Number Theory
The Non-Cancelling Intersections Conjecture

Antoine Amarilli,Mikaël Monet,Dan Suciu

2024-01-29

Abstract:In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a union of sets in terms of the measure of some of their intersections using the inclusion-exclusion formula, then we can express the union as a set from these same intersections via the set operations of disjoint union and subset complement. We also present a partial result towards establishing the conjecture.

Combinatorics,Discrete Mathematics
Corrigendum to “A note on (signless) Laplacian spectral ordering with maximum degrees of graphs” [Linear Algebra Appl. 521 (2017) 135–141]

Shuting Liu,Huiqiu Lin,Jinlong Shu

DOI: https://doi.org/10.1016/j.laa.2017.04.018

IF: 1.307

2017-01-01

Linear Algebra and its Applications

Abstract:There is a mistake in the proof of Theorem 2.7 of Liu et al. [A note on (signless) Laplacian spectral ordering with maximum degrees of graphs, Linear Algebra Appl. 521 (2017) 135–141], and the corrected proof is provided in this Corrigendum note.
Natural Construction Method of Ordinal Sum Implication and Its Distributivity

Bin Zhao,Yafei Cheng

DOI: https://doi.org/10.1016/j.ijar.2022.09.015

IF: 4.452

2022-01-01

International Journal of Approximate Reasoning

Abstract:Recently, De Lima et al. introduced the left ordinal sum of fuzzy implications so that its natural negation has an ordinal sum representation, which enriches the natural negations of fuzzy implications. In this paper, we propose a natural method to construct the ordinal sum of fuzzy implications without changing its natural negation, and explore the relationship between this class of ordinal sum of fuzzy implications and some classes of ordinal sums of fuzzy implications in the literature. Moreover, we characterize the distributivity equations of such ordinal sum of fuzzy implications over t-norms and t-conorms under some conditions.
New structures for uninorms on bounded lattices

Z.-Y. Xiu,Y.-X. Jiang

DOI: https://doi.org/10.48550/arXiv.2208.06254

2022-09-05

Abstract:In this article, we study new methods for constructing uninorms on bounded lattices. First, we present new methods for constructing uninorms on bounded lattices under the additional constraints and prove that some of these constraints are sufficient and necessary for the uninorms. Second, we show that the additional constraints on $t$-norms ($t$-conorms) and $t$-subnorms ($t$-subconorms) of some uninorms are exactly sufficient and necessary. At last, we give new constructions of uninorms on arbitrary bounded lattices by interation based on $t$-conorms and $t$-conorms.

Rings and Algebras,Logic
A Note on Unimodular Congruence of the Laplacian Matrix of a Graph

Hao Liang,Yong-Liang Pan,Jian Wang,Jun-Ming Xu

DOI: https://doi.org/10.1080/03081080802681500

2009-01-01

Linear and Multilinear Algebra

Abstract:Let G be a simple connected graph and L(G) be its Laplacian matrix. In this note, we prove that L(G) is congruent by a unimodular matrix to its Smith normal form if and only if G is a tree.
Stone-Weierstrass approximation revisited

Anatoly G. Kusraev,Semën S. Kutateladze,Anatoly G. KusraevSemën S. Kutateladze1 Southern Mathematical Institute of the Vladikavkaz Science Center of the Russian Academy of Sciences,Vladikavkaz,Russia2 North-Caucasus Center for Mathematical Research of the Vladikavkaz Scientific Center of the Russian Academy of Sciences,Vladikavkaz,Russia. E-Mail 3 Sobolev Institute of Mathematics,Siberian Branch of the Russian Academy of Sciences,Novosibirsk,Russia.

DOI: https://doi.org/10.2989/16073606.2023.2287846

2024-03-08

Quaestiones Mathematicae

Abstract:The aim of the present article is to extend the Stone-Weierstrass theorem to functions ranging in a lattice normed space and admitting order rather than topological approximation. We proceed with the machinery of Boolean-valued transfer from lattice normed space to normed space.

mathematics
A Note on the Knaster–Tarski Fixpoint Theorem

Huang Mengqiao,Fu Yuxi

DOI: https://doi.org/10.1007/s00012-020-00676-4

2020-01-01

Algebra Universalis

Abstract:This note shows that several statements about fixpoints in order theory are equivalent to Knaster–Tarski Fixpoint Theorem for complete lattices. All proofs have been done in Zermelo–Fraenkel set theory without the Axiom of Choice.
Inversion of adjunction for quotient singularities III: semi-invariant case

Yusuke Nakamura,Kohsuke Shibata

2023-12-10

Abstract:We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for them. These results extend the results in our first paper, where we prove the same results for complete intersection varieties defined by ``invariant equations".

Algebraic Geometry
A NOTE ON LATTICES OF QUOTIENTS OF COMPLETE BOOLEAN ALGEBRAS

王习娟,贺伟

2009-01-01

Journal of Mathematics

Abstract:In this paper, we consider the complete lattice Q(L) of all quotients of a complete Boolean algebra L. We show that Q(L) is a complete Boolean algebra for a complete Boolean algebra L by establishing an isomorphism between the set Q′(L) of all q-sets of L and Q(L). Some characterizations of the quotients of a complete Boolean algebra L and some properties of the category of complete Boolean algebras are obtained.
New construction methods for uninorms via functions with q and uninorms on bounded lattices

Zhen-Yu Xiu,Zheng-Yuan Si,Xu Zheng

2024-07-02

Abstract:In this paper, we study the construction methods for uninorms on bounded lattices via functions with the given uninorms and $q\in \mathbb{L_{B}}$ (or $p\in \mathbb{L_{B}}$). Specifically, we investigate the conditions under which these functions can be uninorms on bounded lattices when $q\in (0,\mathfrak{e})\cup I_{\mathfrak{e}}^{\varrho}$ and $q\in I_{\varrho}^{\mathfrak{e}}$ (or $p\in (\mathfrak{e},1)\cup I_{\mathfrak{e}}^{\sigma}$ and $p\in I_{\sigma}^{\mathfrak{e}}$), respectively. Moreover, some illustrative examples and figures are provided.

Logic

A Note on “Semi-Uninorms and Implications on a Complete Lattice”

Two Types of Ordinal Sums of Fuzzy Implications on Bounded Lattices

Some Further Results about Uninorms on Bounded Lattices

A Note on Aubin-Lions-Dubinskiĭ Lemmas

A Note on Lattice Coverings

A Note on Completeness of L-Partially Ordered Sets.

Characterizing uninorms on bounded lattices

Constructions of uninorms on bounded lattices by means of t-subnorms and t-subconorms

Some further construction methods for uninorms via uninorms

Ordinal sums of triangular norms on a bounded lattice

A Szemerédi type theorem for sets of positive density in approximate lattices

The Non-Cancelling Intersections Conjecture

Corrigendum to “A note on (signless) Laplacian spectral ordering with maximum degrees of graphs” [Linear Algebra Appl. 521 (2017) 135–141]

Natural Construction Method of Ordinal Sum Implication and Its Distributivity

New structures for uninorms on bounded lattices

A Note on Unimodular Congruence of the Laplacian Matrix of a Graph

Stone-Weierstrass approximation revisited

A Note on the Knaster–Tarski Fixpoint Theorem

Inversion of adjunction for quotient singularities III: semi-invariant case

A NOTE ON LATTICES OF QUOTIENTS OF COMPLETE BOOLEAN ALGEBRAS

New construction methods for uninorms via functions with q and uninorms on bounded lattices