B-真度相关论文
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论；证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boo......
基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有......
