【摘要】：在n值Lukasiewicz命題邏輯系統(tǒng)L_n中運用公式相對于局部有限理論的Γ-真度定義的等價形式,討論了Γ-真度的部分重要性質(zhì),并給出了Γ-真度的推理規(guī)則。
[Abstract]:In the n-valued Lukasiewicz propositional logic system, the equivalent form of the definition of 螕 -truth degree relative to the local finite theory is applied to the n-valued Lukasiewicz propositional logic system. Some important properties of 螕 -truth degree are discussed, and the inference rules of 螕 -truth degree are given.
【作者單位】： 延安大學(xué)數(shù)學(xué)與計算機科學(xué)學(xué)院;
【基金】：陜西省科技計劃社發(fā)攻關(guān)項目(2014ks15-03-07) 陜西省高水平大學(xué)建設(shè)專項資金(2012SXTS07) 陜西省教育廳專項科研計劃項目(15JK1834)
【分類號】：O141.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張興芳;張安英;韓紅霞;;模糊謂詞邏輯中基于有限解釋的公式的條件α-真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2008年02期

2 張興芳,孟廣武;模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論[J];聊城大學(xué)學(xué)報(自然科學(xué)版);2004年04期

3 王國俊,秦曉燕,周湘南;一類二值謂詞邏輯中公式的準(zhǔn)真度理論[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);2005年01期

4 張興芳;王國俊;孟廣武;;一階模糊謂詞邏輯公式的區(qū)間解釋真度理論[J];模糊系統(tǒng)與數(shù)學(xué);2006年02期

5 李友雨;張興芳;李成允;;L*系統(tǒng)中由單個原子生成公式的真度分布[J];計算機工程與應(yīng)用;2010年10期

6 于鵬;;真度方程組及其應(yīng)用[J];計算機工程與應(yīng)用;2012年07期

7 王國俊;;一類一階邏輯公式中的公理化真度理論及其應(yīng)用[J];中國科學(xué):信息科學(xué);2012年05期

8 秦曉燕;徐揚;劉熠;;二值謂詞邏輯中公式的向量真度[J];模式識別與人工智能;2013年08期

9 張安英;李德勝;張興芳;于西昌;;基于一階模糊邏輯公式的有限解釋真度的推理理論[J];聊城大學(xué)學(xué)報(自然科學(xué)版);2005年04期

10 李友雨;張興芳;李成允;;公式真度的大小之比較[J];模糊系統(tǒng)與數(shù)學(xué);2011年02期

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

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國智能計算大會論文集[C];2007年

相關(guān)碩士學(xué)位論文 前10條

1 郝國平;幾類模糊邏輯系統(tǒng)中真度及近似推理研究[D];延安大學(xué);2015年

2 賀錦瑞;兩種命題邏輯系統(tǒng)中的真度研究[D];延安大學(xué);2016年

3 侯文艷;軟集在關(guān)聯(lián)規(guī)則挖掘中的應(yīng)用[D];西南交通大學(xué);2017年

4 張東曉;邏輯公式的語構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

5 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

6 周麗莉;兩種模糊命題邏輯的公式的概率真度[D];遼寧師范大學(xué);2007年

7 李慧玲;多值命題邏輯和直覺模糊命題邏輯公式的概率α-真度[D];遼寧師范大學(xué);2007年

8 范欣;幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學(xué);2011年

9 李小兵;n值S-MTL系統(tǒng)中公式的矛盾度理論及理論的平均真度[D];蘭州理工大學(xué);2014年

10 秦曉燕;關(guān)于PI證明的若干注記以及邏輯公式的真度理論[D];陜西師范大學(xué);2005年

，

本文編號：2326756