Related papers: Complete relations on fuzzy complete lattices
This paper studies Yoneda completeness and flat completeness of ordered fuzzy sets valued in the quantale obtained by endowing the unit interval with a continuous triangular norm. Both of these notions are natural extension of directed…
We establish conditions under which lattices in certain simple Lie groups are profinitely solitary in the absolute sense, so that the commensurability class of the profinite completion determines the commensurability class of the group…
Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain…
The purpose of this article is to propose and investigate a partial order structure weaker than the lattice structure and which have nice properties regarding closure operators. We extend accordingly closed pattern mining and formal concept…
We characterize supersolvable lattices in terms of a certain modular type relation. McNamara and Thomas earlier characterized this class of lattices as those graded lattices having a maximal chain that consists of left-modular elements. Our…
In this paper, the class of quasicomplemented residuated lattices is introduced and investigated, as a subclass of residuated lattices in which any prime filter not containing any dense element is a minimal prime filter. The notion of…
We begin with a short exposition of the theory of lattice varieties. This includes a description of their orbit structure and smooth locus. We construct a flat cover of the lattice variety and show that it is a complete intersection. We…
It is shown that every scalar linear quadrilateral lattice equation lies within a family of similar equations, members of which are compatible between one another on a higher dimensional lattice. There turn out to be two such families, a…
This paper is about the study of F-transforms based on overlap and grouping maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the…
In this paper, we present a fast algorithm for constructing a concept (Galois) lattice of a binary relation, including computing all concepts and their lattice order. We also present two efficient variants of the algorithm, one for…
We study compatible aggregation functions on a general bounded distributive lattice $L$, where the compatibility is related to the congruences on $L$. As a by-product, a new proof of an earlier result of G. Gr\"atzer is obtained. Moreover,…
In this article, we introduce a differentiability concept for fuzzy functions $\tilde{f}: F(\mathbb{R}) \to F(\mathbb{R})$, where $F(\mathbb{R})$ is the set of all fuzzy numbers. With the help of the proposed differentiability notion, we…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
Bipolar fuzzy relation equations arise when unknown variables together with their logical negations appear simultaneously in fuzzy relation equations. This paper gives a characterization of the solvability of bipolar max product fuzzy…
This article is the second in a series of our works on the fuzzy Landau equation, where particles interact via delocalised Coulomb collisions. In this work, we focus on the existence and propagation of regularity for solutions to the fuzzy…
We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized union. We further demonstrate that this set of operators is relationally complete and honors lattice axioms.
Lattice regularizations are pivotal in the non-perturbative quantization of gauge field theories. Wilson's proposal to employ group-valued link fields simplifies the regularization of gauge fields in principal fiber bundles, preserving…
In this paper, we provide equivalent characterizations of weak $G$-complete fuzzy metric spaces. Since such spaces are complete, we also characterize fuzzy metric spaces that have weak $G$-complete fuzzy metric completions. Moreover we…
It is an easy observation that every residuated lattice is in fact a semiring because multiplication distributes over join and the other axioms of a semiring are satisfied trivially. This semiring is commutative, idempotent and simple. The…
In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the…