本文選題：多值邏輯　切入點：多項式　出處：《蘭州大學(xué)學(xué)報(自然科學(xué)版)》1995年02期 　論文類型：期刊論文

【摘要】：本文證明了對于給定的多值邏輯系統(tǒng)中的命題公式，存在有理數(shù)域上的多項式與之對應(yīng)．從而判定一個命題公式能否以一組命題公式推出，我們只需判定某一多項式是否在一代數(shù)簇上消失．通過代數(shù)簇的分解，給出了判定這一問題的算法．
[Abstract]:In this paper, it is proved that for a given multivalued logic system, the polynomial in the rational number field corresponds to the propositional formula, so as to determine whether a propositional formula can be deduced from a set of propositional formulas. We only need to determine whether a polynomial disappears on an algebraic cluster, and an algorithm for judging this problem is given by decomposing the algebraic cluster.
【作者單位】： 蘭州大學(xué)計算機科學(xué)系
【分類號】：O141

【相似文獻】

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

1 李祥;非古典邏輯Kripke語義分析的一階理論[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);1980年01期

2 黎景輝;;線性代數(shù)群[J];中山大學(xué)學(xué)報(自然科學(xué)版);1980年02期

3 徐森林;C~n或R~n中代數(shù)簇按秩分解的次數(shù)S≤2~n-1是最優(yōu)估計(英文)[J];中國科學(xué)技術(shù)大學(xué)學(xué)報;1981年02期

4 ;中國科學(xué)技術(shù)大學(xué)學(xué)報 第11卷 1981年 總目錄[J];中國科學(xué)技術(shù)大學(xué)學(xué)報;1981年04期

5 A.Borel,萬哲先;線性代數(shù)群[J];數(shù)學(xué)進展;1984年03期

6 徐森林,王則柯,曹懷東;代數(shù)簇的孤立點[J];科學(xué)通報;1984年07期

7 黃涵 ,章仲英;對稱BCI—代數(shù)類是一個BCI—代數(shù)簇的充要條件[J];寧夏大學(xué)學(xué)報(自然科學(xué)版);1984年01期

8 王建磐;;G/P上的誘導(dǎo)層的逆像[J];華東師范大學(xué)學(xué)報(自然科學(xué)版);1984年04期

9 David Mumford;;第四章 周維良定理[J];韶關(guān)學(xué)院學(xué)報;1984年Z1期

10 ;關(guān)于Weil猜想[J];韶關(guān)學(xué)院學(xué)報;1984年Z1期

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

1 劉社軍;;命題邏輯之判定層次及其判定方法[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

2 諸葛海;馮樹椿;胡上序;;MIS生成的相似模型[A];第三屆全國控制與決策系統(tǒng)學(xué)術(shù)會議論文集[C];1991年

3 李娜;;認識論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

4 梁丹然;;加入最優(yōu)動作選擇規(guī)則的擴展的圖規(guī)劃[A];科技、工程與經(jīng)濟社會協(xié)調(diào)發(fā)展——中國科協(xié)第五屆青年學(xué)術(shù)年會論文集[C];2004年

5 陳圖云;吳鳳干;湯服成;;直覺模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會論文集[C];2004年

6 趙英陽;許道云;;NT-HIT(k)公式的存在性[A];2005年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2005年

相關(guān)重要報紙文章 前2條

1 記者潘鋒　徐彬　馬曉嵐;菲爾茨獎和內(nèi)萬林納獎揭曉[N];科學(xué)時報;2002年

2 本報記者 賈西平　溫紅彥;“數(shù)學(xué)，其樂無窮”[N];人民日報;2002年

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

1 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動推理理論及方法的研究[D];西南交通大學(xué);2002年

2 賴義生;分片代數(shù)曲線與分片代數(shù)簇的若干研究[D];大連理工大學(xué);2002年

3 朱春鋼;分片代數(shù)曲線、分片代數(shù)簇與分片半代數(shù)集的某些問題研究[D];大連理工大學(xué);2005年

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

5 駱翔宇;多智能體系統(tǒng)的符號模型檢測[D];中山大學(xué);2006年

6 夏世芬;基于Petri網(wǎng)模型的歸結(jié)自動推理研究[D];西南交通大學(xué);2006年

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

1 彭豐富;Gr(?)bner基與約化的研究及其應(yīng)用[D];中南大學(xué);2001年

2 劉永紅;現(xiàn)代漢語轉(zhuǎn)折復(fù)句的邏輯語義分析[D];廣西師范大學(xué);2003年

3 吳密景;線性偏微分算子右逆存在性問題的探討[D];山西大學(xué);2004年

4 鄧芳芳;關(guān)于高維代數(shù)簇的nef-值態(tài)射的研究[D];暨南大學(xué);2004年

5 姚春宇;函數(shù)域上Witt擴張的Zeta函數(shù)計算[D];解放軍信息工程大學(xué);2004年

6 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

7 閆峰;大學(xué)生心理咨詢專家系統(tǒng)的研究和實現(xiàn)[D];湖南大學(xué);2006年

8 陳韻霞;一種基于分類結(jié)構(gòu)的本體匹配方法[D];哈爾濱工程大學(xué);2006年

9 肖華;DPLL到（1，1）-消解的轉(zhuǎn)換及其復(fù)雜性分析[D];貴州大學(xué);2006年

10 陳引蘭;正交模格的自同構(gòu)群[D];云南師范大學(xué);2006年

，

本文編號：1641379