切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
向前向后法证明一阶逻辑的几个定理
向前向后法证明一阶逻辑的几个定理
来源 :华侨大学学报:自然科学版 | 被引量 : 0次 | 上传用户:Maggie0932
【摘 要】
:
向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后
【作 者】
:
潘孝铭
【机 构】
:
华侨大学信息科学与工程学院
【出 处】
:
华侨大学学报:自然科学版
【发表日期】
:
2004年2期
【关键词】
:
向前向后法
一阶逻辑
模型论
内插定理
保持定理
model theory
first order logic
back-and-forth method
【基金项目】
:
福建省青年科技人才创新基金资助项目 (2 0 0 2J0 11)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
向前向后方法是模型论及其应用研究中的一个很重要的工具.一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性,经典模型论中对这些的证明较为繁难.文中使用向前向后方法,对有限语言下一阶逻辑的内插定理和保持定理等几个定理,给出一种简洁的证明.
其他文献
连接性词语的功能探究——兼与程晓堂先生等商榷
连接性词语的功能在语法上起连接作用,在语义上体现小句之间的逻辑一语义关系。在句子、段落和篇章层次上,连接性词语也同样体现句子之间、段落之间、篇章内部的逻辑——语义关
期刊
连接性词语
逻辑——语义关系
语境
衔接
连贯
connectives
logical-semantic relations
context
cohes
有色冶炼厂污水处理多层板框式搅拌槽的设计
主要针对有色金属冶炼厂生产污水处理采用多层机械搅拌设备替代多挡分槽搅拌,并对多层板框搅拌槽设备设计的主要参数计算程序,进行了详细地介绍,可供相关工程技术人员参考。
期刊
冶金厂污水处理
多层搅拌
板框搅拌槽设计
Metallurgical waste - water treatment
multi - deck agitati
H3PO4-CuO粘结剂在金刚石磨具制备中的应用
采用无机粘结剂H3PO4-CuO取代酚醛树脂粘结剂,制作树脂磨具.CuO粉在890~910 ℃下灼烧,灼烘后经球磨机破碎,加入H3PO4,Al(OH)3混合液,以及金刚石微粉、白刚玉、填料和其它添加
期刊
H3PO4-CuO
树脂磨具
粘结剂
热压成型
H3PO 4-CuO
resin grinder
adhesive
hotforming
关于加强Gerretsen不等式的一个结果及其应用
给出Gerretsen不等式一种有着广泛应用价值的幂级数形式的加强式.这个结果也加强了杨学枝于1994年建立的一个著名不等式.最后运用所得结果,解决刘保乾关于'Bottema软件与
期刊
Gerretsen不等式
幂级数
EULER不等式
杨学枝不等式
加强式
几何不等式
power series
Gerretsen's inequal
矿山工程咨询设计中相关条例的应用
阐述了矿山工程设计过程中不但应遵守设计规程、规范,还应考虑建设项目周边环境设施及确认项目建设所在地是否为自然保护区、水源保护地、文物保护区等,针对相关条例,综合分析项
期刊
矿山工程
咨询设计
保护条例
mining engineering consulting and design conservation regulation
《诗经·陈风·墓门》论考
《陈风·墓门》是《诗经》、中一首篇幅简短却颇有争议的诗。笔者通过对陈国历史史实、社会习俗的考证和对该诗关键章句、字词的分析,又参之以相关文献,对《墓门》进行重新
期刊
《诗经》
《陈风》
《墓门》
政治讽刺诗
book of Songs
Chen Feng
Mu Men
Political satirical po
恒定功率的高功率因数电子镇流器
介绍一种新的单级电子镇流器.它具有功率因数高、输出功率稳定和电路简单的优点.镇流器的电源部分是由变换器和逆变器两级简化成一级而来.控制部分主要由集成电路555组成.两
期刊
电子镇流器
恒定功率
功率因数
输出功率
电源
控制部分
电路原理
电路分析
照明设备
electronic ballast
constant power
应变Ge1—yCy合金的带隙
采用基于局域密度泛函理论和虚晶近似下的从头赝势法,研究Si(001)和Ge(001)衬底上的应变Ge1-yCy合金,其带隙随碳含量和晶格失配度的变化情况.结果发现,带隙对应变条件非常敏
期刊
从头赝势法
带隙
硅衬底
锗衬底
碳含量
晶格失配度
能带结构
半导体材料
应变Ge1-yCy合金
Ge1-yCy
ab initio pseudopotent
基于六大思维方式的中国反腐倡廉
党的十八大以来,党中央运用六大思维全面构建和部署反腐工作。运用辩证思维表明了"源"和"流"的二元论;用系统思维部署了反腐和各项改革的"同频共振";用战略思维构建了"顶层设计";用法
期刊
思维方法
中国式反腐
依法治党
依法行政
新常态
民主制度化的经济分析
民主制度化具有丰富的政治内涵,经济学意义包括民主制度的经济功能是公民内化民主制度的基础;制度报酬的递增规律,决定了初始制度的选择;民主制度下政治组织效能的扩大是民主
期刊
民主制度化
经济分析
成本
收益
systematizationofdemocracy
economicanalysis
costing
profit
与本文相关的学术论文