The Decision of Minimal Covering of Function Classes Preserving Ternary Simply Separable Relations in Partial Four-Valued Logic
Liu Ren-ren · Natural Science Journal of Xiangtan University · 2007
According to the completeness theory and concept of similar relationship in partialk-valued logic,all function sets preserving ternary simply separable relations inP4*was determined and proved to be minimal covering com-ponent of precomplete classes.