本文選題：■ukasiewicz命題邏輯　切入點：完備性定理　出處：《計算機工程與應用》2009年07期

【摘要】：在n值■ukasiewicz命題邏輯中提出了命題集Γ的約簡理論,引入由命題集Γ所誘導的形式背景的概念,從Γ及其子集的關系出發(fā)給出了n值命題邏輯中有限命題集Γ約簡的判定定理以及求Γ約簡的方法。說明了無窮值■ukasiewicz命題邏輯中命題集Γ的約簡可轉化為n值情形。
[Abstract]:The reduction theory of proposition set 螕 is put forward in n-valued ukasiewicz propositional logic. The concept of formal background induced by proposition set 螕 is introduced.Based on the relations between 螕 and its subsets, the decision theorem of 螕 reduction in n-valued propositional logic and the method of finding 螕 reduction are given.It is shown that the reduction of proposition set 螕 in infinite valued ukasiewicz propositional logic can be converted to n value case.
【作者單位】： 西安郵電學院應用數(shù)理系;
【基金】：陜西省教育廳科研計劃項目(No.08JK432)
【分類號】：O141.1

【相似文獻】

相關會議論文 前4條

1 劉新;;10FL中(μ,ν)-歸結原理的完備性[A];模糊集理論與模糊應用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

2 王茹;王國俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

3 賴家俊;潘小東;徐開俊;徐揚;;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結方法的研究[A];第六屆中國不確定系統(tǒng)年會論文集[C];2008年

4 周華任;徐艷;李世楷;;集值平方可積鞅[A];2006“數(shù)學技術應用科學”[C];2006年

相關博士學位論文 前2條

1 韓誠;R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學;2006年

2 吳恒洋;概率計算與可能性計算的Domain語義[D];上海師范大學;2007年

相關碩士學位論文 前7條

1 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學;2010年

2 劉瑤;帶Levy過程的BSDE以及帶power-jump資產(chǎn)的Levy市場的完備性[D];山東科技大學;2007年

3 張紅杰;BL~*系統(tǒng)的一種擴張系統(tǒng)及命題演算系統(tǒng)中公式的矛盾度理論[D];陜西師范大學;2008年

4 劉敏;關于邏輯代數(shù)與系統(tǒng)的若干問題研究[D];陜西師范大學;2007年

5 譚莉;MV-代數(shù)上的概率和期望及相關性質的研究[D];西南交通大學;2005年

6 李四化;幾種多值邏輯系統(tǒng)重言式關系和L_4中導出函數(shù)問題的研究[D];山東大學;2010年

7 曾旭;基于語言量詞模糊積分語義的近似推理研究[D];寧波大學;2011年

，

本文編號：1717737