逻辑学研究
邏輯學研究
라집학연구
SUN YATSEN UNIVERSITY FORUM
2008年
2期
66-79
,共14页
多值逻辑%有限全序%保真性%真的程度%皮尔斯律
多值邏輯%有限全序%保真性%真的程度%皮爾斯律
다치라집%유한전서%보진성%진적정도%피이사률
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的"保真性"给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序.
本文將二值邏輯中刻畫實質蘊涵的保真性推廣至有限全序中,用這推廣的"保真性"給齣蘊涵在有限全序中的語義條件,從而給齣瞭完整的有限全序語義;建立瞭刻畫有限全序的邏輯繫統FO,證明FO的可靠性、完全性和可判定性;提齣瞭廣義的皮爾斯律,證明其能區分不同基數的有限全序;給齣瞭FO的擴充繫統FOn,證明瞭FOn刻畫瞭n箇元素的全序.
본문장이치라집중각화실질온함적보진성추엄지유한전서중,용저추엄적"보진성"급출온함재유한전서중적어의조건,종이급출료완정적유한전서어의;건립료각화유한전서적라집계통FO,증명FO적가고성、완전성화가판정성;제출료엄의적피이사률,증명기능구분불동기수적유한전서;급출료FO적확충계통FOn,증명료FOn각화료n개원소적전서.
