NMG逻辑系统有效集的研究

发布时间：2018-03-11 06:07

  本文选题：NMG逻辑系统　切入点：真值函数　出处：《西北大学学报(自然科学版)》2011年05期 　论文类型：期刊论文

【摘要】：目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F(S)的一类分划。结论可将NMG系统中的公式分为26个等价类,对形式化的公式集合进行了分类。
[Abstract]:Aim to study the effective set of propositional logic system NMG and the semantic theory of non-classical logic methods. Results the characteristics of NMG efficient set are obtained. By using the efficient set as a tool, we obtain a class of partition of the formula set FNS. Conclusion the formulas in the NMG system can be divided into 26 equivalent classes, and the formal set of formulas is classified.
【作者单位】： 陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金资助项目(11071151) 中央高校基本科研基金资助项目(GK201002037)
【分类号】：O141.1

【相似文献】

相关会议论文 前1条

1 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

相关博士学位论文 前1条

1 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

相关硕士学位论文 前2条

1 王礼萍;理想的Groebner基与特征列[D];吉林大学;2008年

2 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

，

本文编号：1596894