厦门大学学报（哲学社会科学版）
廈門大學學報（哲學社會科學版）
하문대학학보（철학사회과학판）
THE JOURNAL OF XIAMEN UNIVERSITY A QUARTERLY FOR STUDIES IN ARTS & SOCIAL SCIENCES
2011年
5期
128-132
,共5页
模态系统T%Herbrand定理%加标公式表列系统
模態繫統T%Herbrand定理%加標公式錶列繫統
모태계통T%Herbrand정리%가표공식표렬계통
模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向；而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.
模態Herbrand定理研究是模態邏輯領域的重要開放問題.不含Barcan公式的模態繫統T的Herbrand定理的穫得必鬚完成兩箇方嚮的證明工作:首先是證明相對簡單的從右到左方嚮；而對于相對複雜的從左到右方嚮,則可以通過在加標公式錶列繫統K的基礎上增加特殊規則穫得加標公式錶列繫統T,證明T的可靠性和完全性,併在此基礎上完成從左到右方嚮的證明.同樣的方法還可以用來證明模態繫統D、K4、s4的Herbrand定理.
모태Herbrand정리연구시모태라집영역적중요개방문제.불함Barcan공식적모태계통T적Herbrand정리적획득필수완성량개방향적증명공작:수선시증명상대간단적종우도좌방향；이대우상대복잡적종좌도우방향,칙가이통과재가표공식표렬계통K적기출상증가특수규칙획득가표공식표렬계통T,증명T적가고성화완전성,병재차기출상완성종좌도우방향적증명.동양적방법환가이용래증명모태계통D、K4、s4적Herbrand정리.
