| 有限全序语义和广义皮尔斯律 |
| |
| 引用本文： | 刘壮虎.有限全序语义和广义皮尔斯律[J].中山大学学报论丛,2008,1(2). |
| |
| 作者姓名： | 刘壮虎 |
| |
| 基金项目： | 教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》05JJD720190
|
| |
| 摘 要： | 本文将二值逻辑中刻画实质蕴涵的保真性推广至有限全序中,用这推广的"保真性"给出蕴涵在有限全序中的语义条件,从而给出了完整的有限全序语义;建立了刻画有限全序的逻辑系统FO,证明FO的可靠性、完全性和可判定性;提出了广义的皮尔斯律,证明其能区分不同基数的有限全序;给出了FO的扩充系统FOn,证明了FOn刻画了n个元素的全序.
|
| 关 键 词： | 多值逻辑 有限全序 保真性 真的程度 皮尔斯律 |
Semantics for Finite Linear Orders and Generalized Peirce's Laws |
| |
| Zhuanghu Liu.Semantics for Finite Linear Orders and Generalized Peirce's Laws[J].Supplement to the Journal of Sun Yatsen University,2008,1(2). |
| |
| Authors: | Zhuanghu Liu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
