|
|||||
|
|
| 和谐性质及其应用（Ⅱ） | |
| 引用本文： | 孙晓蓝.和谐性质及其应用（Ⅱ）[J].北京科技大学学报,1990,12(5):495-498. |
| 作者姓名： | 孙晓蓝 |
| 作者单位： | 北京科技大学数学力学系 |
| 摘 要： | Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。 |
| 关 键 词： | 完备理论 和谐性质 逻辑公理系统 |
| 本文献已被 CNKI 维普 等数据库收录！ | |