本文選題：模態(tài)邏輯系統(tǒng)　切入點：MR代數(shù)　出處：《山東大學(xué)學(xué)報(理學(xué)版)》2008年12期 　論文類型：期刊論文

【摘要】：引入了MR0代數(shù)的概念,討論了它的一些重要性質(zhì),給出了MR0代數(shù)的同構(gòu)定理。其次,構(gòu)建了模態(tài)系統(tǒng)K1,證明了在MR0代數(shù)語義下該系統(tǒng)是完備的。最后,通過將Kripke模型中的賦值V模糊化,建立了模態(tài)邏輯系統(tǒng)K2,并證明了系統(tǒng)K2是可靠的;通過將Kripke模型中的二元關(guān)系R模糊化,建立了模態(tài)邏輯系統(tǒng)K3,并證明了系統(tǒng)K3是完備的。
[Abstract]:In this paper, the concept of MR0 algebra is introduced, some important properties of it are discussed, and the isomorphism theorem of MR0 algebra is given. Secondly, the modal system K1 is constructed, and it is proved that the system is complete under the semantics of MR0 algebra. By fuzzifying the assignment V in the Kripke model, the modal logic system K2 is established, and the system K2 is proved to be reliable, and the modal logic system K3 is established by fuzzifying the binary relation R in the Kripke model, and it is proved that the system K3 is complete.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;寶雞文理學(xué)院數(shù)學(xué)系;
【基金】：國家自然科學(xué)基金重點資助項目(10331010,10771129)
【分類號】：O141.1

【共引文獻】

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

1 王國俊;劉華文;宋建社;;三I方法綜述——它的提出、發(fā)展、應(yīng)用和邏輯版本[J];模糊系統(tǒng)與數(shù)學(xué);2006年06期

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

1 賴洪亮;Ω-范疇序結(jié)構(gòu)性質(zhì)的研究[D];四川大學(xué);2007年

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

1 關(guān)曉紅;多值邏輯系統(tǒng)H_α與偏蘊涵代數(shù)[D];陜西師范大學(xué);2007年

2 韓邦合;計量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

3 韓召偉;格值自動機的代數(shù)性質(zhì)與極小化算法[D];陜西師范大學(xué);2007年

4 盧延鑫;邏輯學(xué)在計算機科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

【相似文獻】

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

1 王元元;從S先生與P先生謎題談起——模態(tài)邏輯簡介[J];自然雜志;1984年06期

2 暢大為;暢斌;;確知模態(tài)命題邏輯[J];陜西師范大學(xué)學(xué)報(自然科學(xué)版);1988年03期

3 郭美云;;從PAL看認(rèn)知邏輯的動態(tài)轉(zhuǎn)換[J];自然辯證法研究;2006年01期

，

本文編號：1633315