Approximating concepts, Chu spaces, and information systems

by Guo-qiang Zhang , Gongqin Shen
Venue:In de Paiva and Pratt (Guest Editors), Special Issue on Chu Spaces and Applications, Theory and Applications of Categories, accepted
Citations:10 - 8 self

Active Bibliography

5 A Cartesian Closed Category of Approximable Concept Structures – Pascal Hitzler, Guo-qiang Zhang - 2004
12 Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics – Vaughan Pratt - 1998
5 Formal Concept Analysis and Resolution in Algebraic Domains – Pascal Hitzler, Matthias Wendt - 2003
1 A Generalized Resolution Theorem – Pascal Hitzler - 2003
1 Intensional double glueing, biextensional collapse, and the Chu construction – Dominic Hughes - 2004
1 ON FIXED-POINTS OF MULTI-VALUED FUNCTIONS ON COMPLETE LATTICES AND THEIR APPLICATION TO GENERALIZED LOGIC PROGRAMS – Umberto Straccia, Manuel Ojeda-aciego, Carlos V. Dam Ásio
2 Non-monotonic consequences in default domain theory – Guo-Qiang Zhang, William C. Rounds
1 Nonmonotonic consequences in default model theory – Guo-Qiang Zhang, William C. Rounds - 1994
Chu Spaces: Towards New Justification for Fuzzy Heuristics – Nhu Nguyen, Hung T. Nguyen, Vladik Kreinovich - 2000
6 Chu Spaces From the Representational Viewpoint – Vaughan Pratt - 1998
7 Default Reasoning over Domains and Concept Hierarchies – Pascal Hitzler
1 FcAWN: Concept Analysis as a Formal Method for Automated Web-Menu Design – Gq Zhang, Gongqin Shen, Josh Staiger, Adam Troy, Jiayang Sun - 2004
On Domains Witnessing Increase in Information – Dieter Spreen
4 Chu I: cofree equivalences, dualities and *-autonomous categories – Dusko Pavlovic - 1993
6 Information Integration in Institutions – Joseph Goguen - 2004
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994
1 Theory for Software Verification – David A. Naumann - 2009
13 A calculus of circular proofs and its categorical semantics – Luigi Santocanale - 2002
2 Resolution in the Smyth Powerdomain – Guo-qiang Zhang, William C. Rounds - 1998