Chu Spaces, Concept Lattices, and Domains

Guo-Qiang Zhang
2003 Electronical Notes in Theoretical Computer Science  
This paper serves to bring three independent but important areas of computer science to a common meeting point: Formal Concept Analysis (FCA), Chu Spaces, and Domain Theory (DT). Each area is given a perspective or reformulation that is conducive to the flow of ideas and to the exploration of cross-disciplinary connections. Among other results, we show that the notion of states in Scott's information system corresponds precisely to that of formal concepts in FCA with respect to all finite Chu
more » ... aces, and the entailment relation corresponds to "association rules".
doi:10.1016/s1571-0661(03)50016-0 fatcat:lddnbglkhzbsxnvcnodeins3vq