...
机译:两种适用于多值逻辑所有变体的通用证明系统及其某些属性
Doctor of Physical and Mathematical Sciences, Yerevan State University, Yerevan, Armenia;
Yerevan State University, Yerevan, Armenia;
Many-valued propositional logic; Gentzen-like system; Determinative conjunct; Determinative disjunctive normal form; Elimination rule; Proof complexity;
机译:两种类型的通用证明系统,适用于多种值逻辑的所有变体和它们的某些属性
机译:基于2型模糊逻辑系统和QPSO的通用图像噪声去除滤波器。
机译:基于新型2类隶属度函数的2类模糊逻辑系统的降噪特性分析
机译:三种类型的多值命题逻辑系统中有限理论的一致性
机译:多值逻辑代数中的分类和基枚举
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:基于证明搜索方法的线性逻辑完整性证明(初步报告)(类型理论及其在计算机系统中的应用)
机译:用于基础证明代码的Hoare逻辑和类型系统的接口