fuzzy logic; logic design; process algebra; computational complexity; /spl alpha/-tautologies; F-tautologies; lattice-valued logic systems; truth-values fields; lattice implication algebras;
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:拟合格子值逻辑与晶格值模态逻辑代数的分类研究
机译:在一些晶格值逻辑系统中的Tautologies
机译:多值逻辑和二进制逻辑计算机系统的性能比较
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法