10.3969/j.issn.1674-3202.2008.02.004
有限全序语义和广义皮尔斯律
本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的"保真性"给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序.
多值逻辑、有限全序、保真性、真的程度、皮尔斯律
1
B81(逻辑学(论理学))
教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》05JJD720190
2009-03-13(万方平台首次上网日期,不代表论文的发表时间)
共14页
66-79