fuzzy logic; theorem proving; fuzzy set theory; residuum based propositional fuzzy logics; 1-tautologies; 0-contradictions; zero divisors; automatic theorem provers; disjunctive classical normal forms; conjunctive normal forms; t-norms;
机译:在一类模糊逻辑中保留重言式和矛盾的范式
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:模糊标记的模糊主题动态逻辑模糊标记过渡系统的模糊模拟
机译:一种正常形式,其保留1 - Tautologies和0次矛盾的基于Residenuum的命题模糊逻辑
机译:使用模糊逻辑和自然保留变换的数字图像水印。
机译:基于模糊逻辑和多元正态条件随机场的自适应曝光融合方法
机译:命题逻辑作为命题模糊逻辑