| ( )(Q)格值模型的省略型定理 |
| |
| 引用本文： | 王捍贫,谢惠扬.( )(Q)格值模型的省略型定理[J].北京大学学报(自然科学版),1999,35(3):409-413. |
| |
| 作者姓名： | 王捍贫 谢惠扬 |
| |
| 作者单位： | 1. 北京大学计算机系,北京,100871
2. 北京林业大学基础科学与信息工程学院,北京,100083 |
| |
| 基金项目： | 北京大学青年自然科学基金;; |
| |
| 摘 要： | 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.
|
| 关 键 词： | 广义量词 格值模型论 省略型定理 |
| 修稿时间： | 1998年4月22日 |
The Omitting Type Theorem in Lattice-valued Model Theory of ( ) ( Q ) |
| |
| WANG Hanpin,XIE Huiyang.The Omitting Type Theorem in Lattice-valued Model Theory of ( ) ( Q )[J].Acta Scientiarum Naturalium Universitatis Pekinensis,1999,35(3):409-413. |
| |
| Authors: | WANG Hanpin XIE Huiyang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
