黔西南州图书馆

本报讯 最近，黔西南民族师专青年数学教师潘正华撰写的《关于中介命题逻辑（MP）的完备性》一文，在国家系统工程委员会在广州举行的“模糊系统与知识工程国际学术讨论会（I.S.F.K）”上获得好评。
  青年教师潘正华克服教学任务重，资料缺乏等方面的困难，致力于中介逻辑系统研究。他撰写的《关于中介命题逻辑（MP）的完备性》论文，经过国家系统工程委员会征集，鉴定，评选，得到了有关学者和专家的公认，取得了参加国际学术讨论会的代表资格。七月十日至十四日，他出席了在广州举行的国际学术讨论会，其论文在与会中外学者专家中引起较大反响，获得较高评价。
  潘正华的这篇论文将作为优秀著作选入国际学术讨论会论文集。