NMG逻辑系统有效集的研究

The validation sets of NMG system

目的研究命题逻辑系统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.