纯蕴涵演算定理证明的两个能行过程

以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。     

不用联结词的“舍…取…”型自然推演系统

“不…而…”（“舍…取…”）是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达“不…而…”（“舍…取…”）的语法功能。在括号表示法的形式语言中,“( )”有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以“舍…取…”作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。     

Morley定理及其推广的三角证明

给出Morley定理及其推广的三角证明     

四色定理的简洁证明及其意义

严格分析四色定理成立的条件,即可以用简洁方法证明四色定理。这一证明对于认识论和思维科学研究有重要意义。     

Cauchy中值定理的又一个证明

借助笔者在文[1]中给出的引理1并应用反证法给出了柯西中值定理的一个证明，它与有关文献中的证法不同.     

利用Bernoulli概率分布简化Weierstrass逼近定理的证明

本文利用概率论中Bernoulli概率分布的某些结果,减化了Weierstass多项式逼近定理的证明。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

微积分中值定理的统一证明及推广形式

Cauchy中值定理统一了微积分中值定理各种形式,从而建立了微分中值定理和积分中值定理之间的内在联系.以Rolle中值定理为基础,借助不同形式辅助函数可对其它几个中值定理作出多种形式的统一证明;利用Taylor公式可以进一步导出微积分中值定理的推广形式.     

埃塞俄比亚亲子关系的推定与否认制度及其启示

1960年<埃塞俄比亚民法典>创设了亲子关系的推定与否认制度,其立法内容严谨、科学、先进,颇具特色.主要表现有三:彻底贯彻子女地位平等原则;适当扩大适用范围;倾向维护亲子关系的稳定性之立法价值取向.其以"子女"统一称谓、将同居关系纳入调整范围、采用"受孕"与"出生"并重学说、将明显之客观事实作为推定规则之除外规定、受推定子女亦可享有否认权、用例示方式具体规定否认理由等立法经验,值得我国借鉴.     

装卸工人调配问题新解法及其证明

阐述了现代物流技术中装卸工人调配问题、装卸工问题、限制情况下装卸工问题及其数学模型,证明了装卸工人调配问题与限制情况下装卸工问题的数学模型是等价的.通过分析装卸工人调配问题的数学性质得出该问题的一种新解法并给出其证明.新解法给出了该问题的所有最优解.     

公共政策文化及其影响的系统探析

公共政策文化主要是由社会民众在社会化过程中逐渐形成的 ,关于公共政策系统的总体价值观、功能结构观、政策过程观与政民关系观等四方面基本价值取向模式所共同构成的一个有机系统。它对不同历史时期社会公共政策系统的价值重心、功能范围与分工发达程度、公共政策运行机制及公民与系统间的互动关系都发挥着直接的影响与制约作用。随着政策环境的改变 ,各种模式的基本内涵也会随之发生相应的变化 ,从而使公共政策系统面临着进行变革乃至革命的压力。     

浅议精神损害赔偿举证责任制度的完善

作者分析了精神损害赔偿举证责任问题的现状,认为精神损害赔偿案件的受害者在事实上存在着举证困难的问题,如果局限于传统的民事诉讼举证责任原则,作为受害方可能无法进行有效的举证。因此,应当对精神损害赔偿举证责任问题作出特别规定,以切实维护受害者的合法权益。为了提高我国精神损害赔偿制度中的司法裁判的统一性,有效的保障当事人的合法权益,在精神损害赔偿案件中,应该从三个方面完善我国精神损害赔偿的举证责任制度:首先,慎重对待精神损害赔偿案件中的事实推定;其次,细化精神损害赔偿案件中的举证责任;第三,确立精神损害标准化的制度。     

有效证明与程序正当性的内在冲突及其解决--兼论我国非法证据排除规则的理念与制度设置

文章主要分析了当前刑事诉讼中有效证明与程序正当性的维护两者之间的冲突及其选择,并以非法证据排除规则为例,力图找到解决之道,同时在分析大陆法系和英美法系两者在此制度设置异同的基础上,结合我国的实际情况,提出了设置有条件的"非法证据全面排除"制度的建议.     

基于知识运用的企业内社会资本激励方式

运用基于企业理论的博弈分析和行为分析,研究社会资本作为知识密集型企业激励其内部决策者在知识运用努力上的激励方式的有效性及成功激励的条件.揭示了作为协作决策体系的知识密集型企业内部知识工作者在知识运用中具有投入不足的倾向;在决策的知识运用中,激励的影响因素有知识专业化所致的决策者之间相互理解度的下降、每个决策者决策的自主性增强、决策者之间相互尊重的程度提高、企业成员受到知识密集型企业的约束增强;社会资本激励起作用的条件是其激励不小于企业最优要求下其成员在协作决策中所付出努力水平与其个人最优要求下所付出的努力水平之差.由此可得结论:在知识密集型企业内,企业有效激励其成员在协作决策的知识运用中更为有效的激励方式是类似于社会资本这样的社会性激励方式.     

国际货币体系的非均衡性及其对中国货币体系的影响

阐述了现行国际货币体系的概念和历史发展,以及非均衡性表现①储备资产增长过快且不稳定;②汇率波动剧烈,汇率风险加大,对国际贸易和国际投资不利;③国际收支调节的困难依旧.指出了国际货币体系对中国货币体系的影响,论述了国际流动资本对中国金融领域的冲击及其应采取的对策.     

“历史”与“文学”的共构——当代文学及其历史书写问题的反思

当代文学史写作自"重写文学史"浪潮兴起后,就一直是文学史研究的热点话题。由于时间上的近距离,当代文学的历史书写一直存在着变动性乃至对于书写者的挑战性。从当代文学本身的历史、现状出发,并结合已有的文学史写作,进而对当代文学史书写问题进行反思。     

反致制度存在的基础及其前景评析

在国际私法领域 ,反致制度是颇有争议的问题 ,这一问题不仅具有理论价值 ,而且对于完善我国相关立法 ,加强国际法律直辖与合作方面更具有实际意义。本文本着具体问题具体分析的原则 ,评价了反致存在的基础、运用反致导致的正面效果和存在的弊端 ,以及反致在当代的发展趋势。在此评价的基础上 ,为我国国际私法采用反致理论及其使用反致所涉及的相关问题提出了可供参考的意见。     

农村土地股份合作制:成效、问题与对策研究述评

在广泛搜集1990年以来有关资料的基础上,概述了土地股份合作制的成效、问题与政策建议等问题,初步勾画了土地股份合作制运作的基本状况。