本文選題：NMG邏輯系統(tǒng)　切入點：真值函數(shù)　出處：《西北大學學報(自然科學版)》2011年05期 　論文類型：期刊論文

【摘要】：目的研究命題邏輯系統(tǒng)NMG的有效集。方法非經(jīng)典邏輯的語義理論。結(jié)果得到了NMG有效集的特征,進而以有效集為工具得到了公式集F(S)的一類分劃。結(jié)論可將NMG系統(tǒng)中的公式分為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.
【作者單位】： 陜西師范大學數(shù)學與信息科學學院;
【基金】：國家自然科學基金資助項目(11071151) 中央高�；究蒲谢鹳Y助項目(GK201002037)
【分類號】：O141.1

【相似文獻】

相關(guān)會議論文 前1條

1 張鳳姣;張興芳;李成允;;G銉del邏輯中真值函數(shù)特征及真度分布[A];第八屆中國不確定系統(tǒng)年會論文集[C];2010年

相關(guān)博士學位論文 前1條

1 任芳;正則蘊涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學;2005年

相關(guān)碩士學位論文 前2條

1 王禮萍;理想的Groebner基與特征列[D];吉林大學;2008年

2 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴張[D];陜西師范大學;2003年

，

本文編號：1596894