CONNECTING T AND LATTICE-VALUED CONVERGENCES
Authors
Abstract:
$top$-filters can be used to define $top$-convergence spaces in the lattice-valued context. Connections between $top$-convergence spaces and lattice-valued convergence spaces are given. Regularity of a $top$-convergence space has recently been defined and studied by Fang and Yue. An equivalent characterization is given in the present work in terms of convergence of closures of $top$-filters. Moreover, a compactification of a $top$-convergence space is constructed whenever $L$ is a complete Boolean algebra.
similar resources
LATTICE-VALUED CATEGORIES OF LATTICE-VALUED CONVERGENCE SPACES
We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...
full textON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...
full textRemarks on completeness of lattice-valued Cauchy spaces
We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.
full textLattice-Valued Binary Decision Diagrams
This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functions of the form θ : 2 7→ L, where P is a finite set of Boolean propositions and L is a finite distributive lattice. Such functions arise naturally in several verification problems. LVBDD are a natural generalisation of multi-ter...
full textLattice-Valued Possibilistic Entropy Functions
Lattice-valued entropy functions defined by a lattice-valued possibilistic distribution π on a space Ω are defined as the expected value (in the sense of Sugeno integral) of the complement of the value π(ω) with ω ranging over Ω. The analysis is done in parallel for two alternative interpretations of the notion of complement in the complete lattice in question. Supposing that this complete latt...
full textMy Resources
Journal title
volume 15 issue 4
pages 151- 169
publication date 2018-08-30
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023