北京师范大学学报(自然科学版)
北京師範大學學報(自然科學版)
북경사범대학학보(자연과학판)
JOURNAL OF BEIJING NORMAL UNIVERSITY (NATURAL SCIENCE)
2008年
6期
568-572
,共5页
量词消去%完全稠密二叉偏序%基本公式%同类公式
量詞消去%完全稠密二扠偏序%基本公式%同類公式
량사소거%완전주밀이차편서%기본공식%동류공식
给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.
給齣瞭完全稠密二扠偏序理論在語言L={≤,R}中的公理集,證明瞭在語言L={≤,R}中,該理論具有不可量詞消去的性質.同時提齣瞭該理論在L={≤,R,*}中的六類基本公式,通過攷慮不同基本公式閤取的量詞消去情況, 來證明完全稠密二扠偏序理論在語言L={≤,R,*}中具有量詞消去的性質. 著重攷慮瞭同類基本公式閤取的量詞消去情況,併給齣消去的算法.
급출료완전주밀이차편서이론재어언L={≤,R}중적공리집,증명료재어언L={≤,R}중,해이론구유불가량사소거적성질.동시제출료해이론재L={≤,R,*}중적륙류기본공식,통과고필불동기본공식합취적량사소거정황, 래증명완전주밀이차편서이론재어언L={≤,R,*}중구유량사소거적성질. 착중고필료동류기본공식합취적량사소거정황,병급출소거적산법.
