A Note on Cuts of Lattice-Valued Functions and Concept Lattices

Abstract

Motivated by applications of lattice-valued functions (lattice-valued fuzzy sets) in the theory of ordered structures, we investigate a special kind of posets and lattices induced by these mappings. As a framework, we use the Formal Concept Analysis in which these ordered structures can be naturally observed. We characterize the lattice of cut sets and the Dedekind-MacNeille completion of the set of images of a lattice valued function by suitable concept lattices and we give necessary and sufficient conditions under which these lattices coincide. In addition, we give conditions under which the lattice of cuts is completely distributive.