论文部分内容阅读
进一步讨论了形式系统(L)*中的一般演绎推理及强完备性问题.对于任意的公式集Г,引入一种新的代数结构-R0(Г)代数,利用子代数结构,代数滤子理论及次直积分解理论等代数工具,证明了系统(L)*的强完备性定理.
关于形式系统L^＊的强完备性
【摘 要】
：
进一步讨论了形式系统(L)*中的一般演绎推理及强完备性问题.对于任意的公式集Г,引入一种新的代数结构-R0(Г)代数,利用子代数结构,代数滤子理论及次直积分解理论等代数工具,
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
工程数学学报
【发表日期】
：
2005年1期
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金
其他文献
我们提出了两种Armijo型线搜索,进而证明了这两种Armijo型线搜索可保证共轭下降法的下降搜索方向的充分下降性.并在这两种Armijo型线搜索下得到共轭下降法的收敛性结果.
本文立足于我国事业单位采购预算管理工作的现状,首先分析了加强事业单位采购预算管理体制建设的意义;其次探讨了现行事业单位采购预算管理体制存在的缺陷;最后针对问题,提出
本文讨论了复Riesz空间上正交射的结构，得到了复f-代数与复正交射的关系。给出了复f-代数中Riesz同态与代数同态在一定条件下可互推的结果。证明了复Riesz同态满足推广的Schwa
设SE={A∈Rn×nn|‖AY-Z‖=min;Y,Z∈Rn×p},Ω={z∈Rn|Gz=o,G∈Rk×n},Rn×n≥Ω={A∈Rn×n|zTAz≥0,Vz∈Ω}.考虑问题P:给定X,B∈Rn×m,找A∈SE∩
利用位势理论将阻尼边界条件的声波散射问题转换为一个第二类边界积分方程,在二维情形下给出了Nystrom方法,Garlerkin方法和配置法这三种数值方法并通过对具体的数值例子的分
虽然“4G牌照”的发放又将推迟，但却有传闻称基于TD—LTE—Advanced标准的4G网络成为三大运营商的必选模式，这意味着中国联通在短期内需要承受巨大的基站建设等一系列成本压力
当知识库中的知识模块既是模糊的又是随机得到的,我们定义了基于随机模糊集的粗糙集模型.给出了随机模糊粗糙集的性质.讨论了利用模糊集的下近似和上近似定义的模糊测度和概
密封可靠性是影响真空器件工作性能和寿命的重要指标。为了保证真空器件抽气管道的有效密封,设计了一种操作简便的夹封装置。采用有限元仿真分析了该装置的关键受力部件,并进
沱江河依着凤凰的城墙缓缓流淌,世世代代哺育着古城儿女。坐上乌船,听着艄公的号子,看着两岸已有百年历史的土家吊脚楼,别有一番韵味。沱江的河面并不宽,但它却是凤凰古城一