本文選題：中介命題邏輯　切入點(diǎn)：三值模型　出處：《計(jì)算機(jī)工程與應(yīng)用》2010年31期 　論文類(lèi)型：期刊論文

【摘要】：中介邏輯ML(Medium Logic),自建立了它的三值語(yǔ)義模型后,ML就被許多學(xué)者認(rèn)定為三值邏輯。對(duì)于中介邏輯核心理論的中介命題邏輯系統(tǒng),潘給出了一種無(wú)窮值語(yǔ)義模型,并證明了中介命題邏輯在此模型下具有可靠性與完備性。在此基礎(chǔ)上,給出一種真值域?yàn)閇0啜λ)，

本文編號(hào)：1607147