自从Zadeh于1965年在Information and Control上发表了著名论文"Fuzzy sets",模糊集理论已经在越来越多的具体领域,比如：模式识别......

一阶逻辑中的任何公式都存在与之等值的前束范式.本文讨论了在求前束范式经常遇见的两种情况.......

在古典的二值逻辑 CL(Classical Logic)中,每一命题X的真值取自二元集合{0, 1},即T(X)=0与T(X)=1为两种极端的稳定状态;因此CL只......

中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语......

本文讨论了有理数理论的复杂性，通过构造精确的判定过程，从而确定了有理数理论的计算复杂性上界。......

本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点，结合命题逻辑中命题公式的主析取范式......

《离散数学》谓词逻辑中前柬范式的求解一直是一个难点。对前柬范式求解步骤进行分析和总结，对两种换名规则和换名情况进行分类和研......

讨论了一种方法用于在处理γ子式前先对δ子式进行处理，减少了后期执行的工作量，简化了自动推演程序，并对其在理论上进行了证明，同时也......

<正> 在数学分析教学中,使学生正确地掌握数学命题的否定,进而会运用反证法并会论证某一对象不满足某一定义,是很基本而重要的.例......

以（→，∽）为连词完全集的一阶逻辑前不范式定理是由４个等值式得到的。对于４个等值式，本文得到了它们之间的一个基本关系；同时，利用不带等词......