欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F（S）的一类分划。结论可将NMG系统中的公式分为26个等价类,对形式化的公式集合进行了分类。
英文摘要：
Aim To study the validation sets of logic system NMG.Methods The semantic theory of non-classical logic is used.Results The characteristics of the validation sets in logic system NMG is given,and a new kind classification of F（S） can be gotten.Conclusion The formula set F（S） of the logic system NMG can be classified into twenty six equivalence classes.
同期刊论文项目
同项目期刊论文
期刊信息
位置：