| 对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理 |
| |
| 引用本文： | 杨安洲.对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理[J].前沿科学,2010,4(2). |
| |
| 作者姓名： | 杨安洲 |
| |
| 作者单位： | 中国科学院成都计算机应用研究所,四川,成都,610041 |
| |
| 摘 要： | 本文得到了对于逻辑系统L(w1,w)的 L-S 型定理与 H-型定理.
|
| 关 键 词： | 逻辑系统L(w1 w) L-S型定理 H-型定理 谓词代数 |
Theorem of Loewenheim-Skolem's type and Theorem of Herbrand's type for L(w1,w) |
| |
| Yang Anzhou.Theorem of Loewenheim-Skolem's type and Theorem of Herbrand's type for L(w1,w)[J].Frontier Science,2010,4(2). |
| |
| Authors: | Yang Anzhou |
| |
| Institution: | Yang Anzhou |
| |
| Abstract: | In this paper, Theorem of Loewenheim -Skolem type and Theorem of Herbrand type were offered and were proved ,another theorem was also proved. |
| |
| Keywords: | logical system L(w1 w) Theorem of Loewenheim-Skolem's type Theorem of Herbrand's type Predicate algebra |
| 本文献已被 维普 万方数据 等数据库收录！ |
