计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
31期
45-49,71
,共6页
中介命题逻辑%三值模型%无穷值模型%完备性%可靠性
中介命題邏輯%三值模型%無窮值模型%完備性%可靠性
중개명제라집%삼치모형%무궁치모형%완비성%가고성
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性.在此基础上,给出一种真值域为[0,λ)∪(λ,l](λ∈(0.5,1))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性.新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的.新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础.
中介邏輯ML(Medium Logic),自建立瞭它的三值語義模型後,ML就被許多學者認定為三值邏輯.對于中介邏輯覈心理論的中介命題邏輯繫統,潘給齣瞭一種無窮值語義模型,併證明瞭中介命題邏輯在此模型下具有可靠性與完備性.在此基礎上,給齣一種真值域為[0,λ)∪(λ,l](λ∈(0.5,1))的無窮值語義模型,研究瞭它的性質,證明瞭中介命題邏輯在該模型下也具有可靠性與完備性.新模型的存在進一步錶明,認定中介邏輯是一種三值邏輯的理由是不充分的.新模型不僅反映瞭中介邏輯的基本思想,而且為中介邏輯在其他領域的應用提供瞭基礎.
중개라집ML(Medium Logic),자건립료타적삼치어의모형후,ML취피허다학자인정위삼치라집.대우중개라집핵심이론적중개명제라집계통,반급출료일충무궁치어의모형,병증명료중개명제라집재차모형하구유가고성여완비성.재차기출상,급출일충진치역위[0,λ)∪(λ,l](λ∈(0.5,1))적무궁치어의모형,연구료타적성질,증명료중개명제라집재해모형하야구유가고성여완비성.신모형적존재진일보표명,인정중개라집시일충삼치라집적이유시불충분적.신모형불부반영료중개라집적기본사상,이차위중개라집재기타영역적응용제공료기출.