The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic

Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings