首页> 中文期刊> 《宿州学院学报》 >量词可消去的线性序理论

量词可消去的线性序理论

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

量词消去法在模型论的证明中是应用很广的一种方法.本文主要讨论在语言L=[＜,0]上的有首元但无末元的稠密线性序理论T和在语言L0=[＜]上的无末元离散线性序理论T0的量词可消去性,及其在扩充语言L1=[S,＜]下理论T0的量词消去性.

著录项

来源
《宿州学院学报》 |2017年第10期|96-98|共3页
作者
杜芬芬; 陈国龙;
展开▼
作者单位

淮北师范大学数学科学学院,淮北,235000;

宿州学院,宿州,234000;

展开▼
原文格式 PDF
正文语种 chi
中图分类模型理论;
关键词
稠密; 离散; 线性序; 量词消去;

相似文献

中文文献
外文文献
专利

1. 二次参数实整混合线性优化的量词消去法 [J] . 赵枫朝 ,于书举 ,刘俊千 . 北京工业大学学报 . 2002,第001期
2. 完全稠密二叉偏序理论可量词消去的新证明 [J] . 傅莺莺 ,沈复兴 ,吴茂念 . 北京师范大学学报：自然科学版 . 2008,第2期
3. 完全稠密二叉偏序理论的量词消去(Ⅰ) [J] . 陈磊 ,沈复兴 . 北京师范大学学报：自然科学版 . 2008,第6期
4. 完全分叉树理论可量词消去的新证明 [J] . 傅莺莺 ,沈复兴 ,吴茂念 . 南京大学学报（数学半年刊） . 2007,第002期
5. 完全分叉树理论可量词消去的新证明 [J] . 傅莺莺 ,沈复兴 ,吴茂念 . 南京大学学报：数学半年刊 . 2007,第002期
6. 采用消去法的非线性网络故障诊断 [C] . 康铁英 . 中国电子学会电路与系统学会第十二届年会 . 1995
7. 面向传值进程的模态逻辑与实整混合优化理论的量词消去 [A] . 薛锐 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号