The Logic System of Concept Graphs with Negation