重言式表示定理相关论文
首先,证明了关于全体赋值而言,修正的Kleene系统中只有三种α-重言式。其次,在赋值域为有限集的情形证明了当α-过半时α重言式的类类互异定理......
本文提出了扰动模糊命题的概念,定义了扰动模糊命题运算.首先以S-蕴涵算子为基础从有限扰动模糊命题逻辑出发,讨论其逻辑代数及广......
本文将Atanassov直觉主义逻辑中S-型蕴涵改为R-蕴涵,建立修正的Atanassov逻辑系统,给出其中的广义重言式和部分赋值的广义重言式的......