论文部分内容阅读
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的＂保真性＂给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序。