A formal context is a mathematical structure that could be a source of information. At every moment of time information is finite, but could be partial. In this article we introduce a partial metric on a finite formal context to describe a partial information stored in it.
A formal context is a mathematical structure that could be a source of information. At every moment of time information is finite, but could be partial. In this article we introduce a partial metric on a finite formal context to describe a partial information stored in it. (en)