部分多值逻辑相关论文
根据部分K值逻辑的完备性理论,定出并证明了属于准完备集最小覆盖的保四元单纯可离关系函数集.......
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*......