计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
35期
15-16,32
,共3页
泛逻辑学%广义重言式%升级算法%广义语义MP规则%广义语义HS规则
汎邏輯學%廣義重言式%升級算法%廣義語義MP規則%廣義語義HS規則
범라집학%엄의중언식%승급산법%엄의어의MP규칙%엄의어의HS규칙
论文对泛逻辑的广义重言式理论进行研究,给出了泛逻辑的中极形式系统中的广义重言式的一系列性质.主要结果有:在泛逻辑的中极形式系统中,对于[0,1]内的任意有理数,均有可达重言式,且是类类互异的;给出有理点的一个升级算法;当α∈Q∩(0,1)时,[α]-MP规则与[α]-HS规则不成立.
論文對汎邏輯的廣義重言式理論進行研究,給齣瞭汎邏輯的中極形式繫統中的廣義重言式的一繫列性質.主要結果有:在汎邏輯的中極形式繫統中,對于[0,1]內的任意有理數,均有可達重言式,且是類類互異的;給齣有理點的一箇升級算法;噹α∈Q∩(0,1)時,[α]-MP規則與[α]-HS規則不成立.
논문대범라집적엄의중언식이론진행연구,급출료범라집적중겁형식계통중적엄의중언식적일계렬성질.주요결과유:재범라집적중겁형식계통중,대우[0,1]내적임의유리수,균유가체중언식,차시류류호이적;급출유리점적일개승급산법;당α∈Q∩(0,1)시,[α]-MP규칙여[α]-HS규칙불성립.