Abstract:With a commutative unital quantale $L$ as the truth value table, this study focuses on the representations of $L$-domains by means of $L$-closure spaces. First, the notions of interpolative generalized $L$-closure spaces and directed closed sets are introduced. It is proved that in an interpolative generalized $L$-closure space (resp., $L$-closure space), the collection of directed closed sets with respect to the inclusion $L$-order forms a continuous $L$-dcpo (resp., an algebraic $L$-dcpo). Conversely, it is shown that every continuous $L$-dcpo (resp., algebraic $L$-dcpo) can be reconstructed by an interpolative generalized $L$-closure space (resp., $L$-closure space). Second, when $L$ is integral, the notion of dense subspaces of generalized $L$-closure spaces is introduced. By means of dense subspaces, an alternative representation for algebraic $L$-dcpos is given. Moreover, the concept of $L$-approximable relations between interpolative generalized $L$-closure spaces is introduced. Consequently, a categorical equivalence between the category of interpolative generalized $L$-closure spaces (resp., $L$-closure spaces) with $L$-approximable relations and that of continuous $L$-dcpos (resp., algebraic $L$-dcpos) with Scott continuous mappings is established.

A Representation of Continuous Domains Via Relationally Approximable Concepts in a Generalized Framework of Formal Concept Analysis.

Representations of Domains via CF-approximation Spaces

Representations of FS-domains and BF-domains via FS-approximation Spaces

Local Relation Mapping Theory of Fuzzy Reasoning

L-domains as locally continuous sequent calculi

Representations of domains via closure spaces in the quantale-valued setting

When do CF-approximation spaces capture sL-domains

Domains via approximation operators

On Gradual Sets, Hesitant Fuzzy Sets, and Representation Theorems

Directed Completions of Consistent FS-domains and Related Categorical Properties

Topological representations for frame-valued domains via $L$-sobriety

Representation Equivalences among Argumentation Frameworks.

Generalized fuzzy rough sets based on fuzzy coverings

Set approximations in fuzzy formal concept analysis

On the lattice of conceptual measurements

Continuous Domains for Function Spaces Using Spectral Compactification

The Stone Representations for Generalized Continuous Posets

A characterization of Continuous Logic by using quantale-valued logics

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas

A comprehensive survey on formal concept analysis, its research trends and applications

The Intrinsic Characterization of a Fuzzy Consistently Connected Domain