本文選題：模糊模態(tài)邏輯 + 模糊模態(tài)邏輯系統(tǒng)M■uk��； 參考：《山東大學(xué)學(xué)報(理學(xué)版)》2009年08期

【摘要】：將賦值格取為單位區(qū)間并將二元關(guān)系R模糊化,研究了模糊模態(tài)邏輯系統(tǒng)M■uk,然后將其賦值格離散化研究了多值模態(tài)邏輯系統(tǒng)M■n;證明了在M■n中,對任一可能的賦值α都存在可達α-重言式;在M■uk中對任一有理數(shù)α∈[0,1]都存在可達α-重言式;指出了在R0系統(tǒng)中起關(guān)鍵作用的升級算法對M■n系統(tǒng)已不再適用,并分析了其原因。
[Abstract]:Taking assignment lattice as unit interval and fuzzy binary relation R, we study fuzzy modal logic system Muk. then discretize its assignment lattice to study multi-valued modal logic system M _ n, prove that in M _ n, There exists a reachable 偽 -tautology for any possible assignment 偽, and a reachable 偽 -tautology for any rational number 偽 鈭，

本文編號：2098188