| L(Q)逻辑的完全理论 |
| |
| 引用本文： | 宋契.L(Q)逻辑的完全理论[J].河北大学学报(自然科学版),2000,20(4):323-325. |
| |
| 作者姓名： | 宋契 |
| |
| 作者单位： | 河北经贸大学,信息技术学院,河北,石家庄,050061 |
| |
| 摘 要： | 对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础
|
| 关 键 词： | 初等等价 完全理论 初等子模型 |
| 修稿时间： | 2000-04-08 |
Complete Theory for L(Q) Logic |
| |
| SONG Jie.Complete Theory for L(Q) Logic[J].Journal of Hebei University (Natural Science Edition),2000,20(4):323-325. |
| |
| Authors: | SONG Jie |
| |
| Abstract: | Some model theory properties of L(Q) logic with added quantifier Qx to the first-order logic were discussed. Some conditions of equivalence of complete theory T and model complete were proved by the method of constructing models. A kind of decision theorem of complete theory T was proved. This paper provides a theoretical fundamentals to future further reseach in model theory of L(Q) logic. |
| |
| Keywords: | elementary equivalence complete theory elementary submode? |
| 本文献已被 万方数据 等数据库收录！ |
|
