多值tableau 相关硕士博士期刊学术论文

将经典逻辑中的结构保留子句转换方法应用到带符号的多值公式中，产生输入规模是线性的范式，并引入极性的概念，减少冗余子句的产生．利用......