部分四值逻辑中4元单纯可离关系之分类

On the Categorizing of 4-nry Simply Separable Relations in Partial Four-valued Logic

根据部分多值逻辑的完备性理论,定出部分四值逻辑中4元单纯可离关系,再按照准完备集之间的相似关系概念,对所定出的关系进行分类。

According to the completeness theory of partial multi - valued logic, 4 - nry simply separable relations in partial four- valued logic are determined and categorized by means of the concept of the similar relations among the precomplete classes,