Approximable concepts, Chu Spaces, and information systems

Theory and Applications of Categories

Volumn 17, Issue , 2006, Pages 80-102

  Zhang, Guo Qiang ^a   Shen, Gongqin ^a  

^a Case Western Reserve University   (United States)

Author keywords

Chu Spaces; Domain theory; Formal concept analysis

Indexed keywords

EID: 33846533788     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (41)

1. S. Abramsky and A. Jung, Domain theory. In: Handbook of Logic in Computer Science (S. Abramsky, D. Gabbay, and T. S. E. Maibaum, eds.), Vol. 3, Clarendon Press, 1994.
2. R. Amadio and P.-L. Curien, Domains and Lambda-Calculi. Cambirdge University Press, 1998.
3. Barr. *-Autonomous categories, with an appendix by Po Hsiang Chu. Lecture Notes in Mathematics, Vol. 752, Springer-Verlag, 1979.
4. Barr. *-Autonomous categories and linear logic. Mathematical Structures in Computer Science, Vol. 1, pp. 159-178, 1991.
5. J. Barwise and J. Seligman. Information Flow: the logic of distributed systems. Cambridge Tracts in TCS, Vol. 44, 1997.
6. T. Berners-Lee, J. Hendler, O. Lassila. The Semantic Web. Scientific American, Vol. 284, pp. 34-43, 2001.
7. G. Birkhoff. Lattice Theory. AMS Colloquium Publications, Vol. 25, 1940.
8. T. Coquand and G. Q. Zhang, Sequents, frames, and completeness, Computer Science Logic 2000 (P. Clote and H. Schwichtenberg, eds.), Lecture Notes in Computer Science, Vol. 1862, pp. 277-291, 2000.
9. B. Davey and H. Priestley. Introduction to Latices and Order (2nd edition). Cambridge University Press, 2002.
10. Erné. General Stone duality. Topology and Its Applications, Vol. 137, pp. 125-158, 2004.
11. B. Ganter and R. Wille. Formal Concept Analysis. Springer-Verlag, 1999.
12. G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott. Continuous Lattices and Domains, Cambridge University Press, 2003.
13. Gunter and D. Scott. Semantic domains. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pp. 633-674, Elsevier, 1990.
14. P. Hitzler and M. Wendt. Formal concept analysis and resolution in algebraic domains. In: Aldo de Moor and Bernhard Ganter (Eds.): Using Conceptual Structures - Contributions to ICCS 2003. Shaker Verlag, Aachen, Germany, pp. 157-170.
15. P. Hitzler, Default Reasoning over Domains and Concept Hierarchies. In: Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence. To appear.
16. P. Hitzler and G.-Q. Zhang. A cartesian closed category of approximable concept structures. In Pfeiffer and Wolff (eds.), Proceedings of the International Conference on Conceptual Structures, Huntsville, Alabama, USA, July 2004. Lecture Notes in Artificial Intelligence, 2004, to appear.
17. P. Hitzler, M. Kröetzsch, and G.-Q. Zhang. A categorical view of algebraic lattices in formal concept analysis, Fundamenta Informaticae, Vol. 74, pp. 1-29, 2006.
18. Huth. A maximal monoidal closed category of distributive algebraic domains. Information and Computation, Vol. 116, pp. 10-25, 1995.
19. P. Johnstone. Stone Spaces. Cambridge University Press, 1982.
20. F. Lamarche. From Chu spaces to epos. Theory and Formal Methods of Computing 94, Imperial College Press, pp. 283-305, 1994.
21. J. McDill, A. Melton, and G. Strecker. A category of Galois connections. Lecture Notes in Computer Science, Vol. 283, pp. 290-300, 1987.
22. A. Melton, D. Schmidt, and G. Strecker. Galois connections and computer science applications. Lecture Notes in Computer Science, Vol. 240, pp. 299-312, 1985.
23. A. Melton, B. Schröder, and G. Strecker. Lagois connections - a counterpart to Galois connections. Theoretical Computer Science, Vol. 136, pp. 79-107, 1994.
24. S. Mac Lane. Categories for the working mathematician. Springer-Verlag, 1971.
25. J. Pfaltz and C. Taylor. Scientific knowledge discovery through iterative transformation of concept lattices. SIAM Workshop on Discrete Math, and Data Mining, Arlington, VA, U.S.A., 2002.
26. J. Pfaltz and C. Taylor. Closed set data mining of biological data. BIOKDD 2002 (2nd Workshop on Data Mining in Bioinformatics), Edmonton, July, 2002.
27. G. Plotkin. Notes on Domains (Pisa Notes), University of Edinburgh, 1983. Available at: http://www.des.ed.ac.uk/home/gdp/publications/
28. Pratt. Higher dimensional automata revisited. Math. Structures Comput. Sci. Vol. 10, pp. 525-548, 2000.
29. Pratt. Chu spaces from the representational viewpoint. Ann. Pure Appl. Logic, Vol. 96, pp. 319-333, 1999.
30. Pratt. Towards full completeness of the linear logic of Chu spaces. Mathematical foundations of programming semantics (Pittsburgh, PA, 1997), Electronic Notes in Theoretical Computer Science, Vol. 7, 18 pp., 1997.
31. Pratt. The Stone gamut: a coordinatization of mathematics. Proceedings of 10th Annual Symposium on Logic in Computer Science, pp. 444-454, 1995.
32. Pratt. Chu spaces and their interpretation as concurrent objects. Lecture Notes in Comput. Sci. Vol. 1000, pp. 392-405, 1995.
33. Pratt. Chu spaces as a semantic bridge between linear logic and mathematics. Theoretical Computer Science, Vol. 294, pp. 439-471, 2003.
34. W. Rounds and G.-Q. Zhang. Clausal logic and logic programming in algebraic domains. Information and Computation, Vol. 171, pp. 183-200, 2001.
35. S. Scott. Domains for denotational semantics, Lecture Notes in Computer Science, Vol. 140, pp. 577-613, 1982.
36. R.A.G. Seely. Linear logic, *-autonomous categories and cofree algebras. In Categories in Computer Science and Logic, Contemporary Mathematics, Vol. 92, pp. 371-382, 1989.
37. G. Shen. Formal Concept Analysis: theory and applications. PhD Thesis, Department of Electrical Engineering and Computer Science, Case Western Reserve University, 200x.
38. S. Vickers. Topology via Logic, Cambridge University Press, 1989.
39. G. Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.
40. G.-Q. Zhang. Logic of Domains, Birkhauser, Boston, 1991.
41. G.-Q. Zhang. Chu spaces, concept lattices, and domains. In: Proceedings of the 19th Conference on the Mathematical Foundations of Programming Semantics, March 2003. Montreal, Canada. Electronic Notes in Theoretical Computer Science Vol. 83, 2004, 17 pages.