Vivid Logic In this monograph, the author develops his own approach for a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity and non-explosiveness. Full description
"synopsis" may belong to another edition of this title.