部分K值逻辑相关论文
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性的判定是一个基本而重要的问题,也是自动机......
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*......
