一阶命题演算的希尔伯特型直觉主义系统

来源 :河北大学学报:自然科学版 | 被引量 : 0次 | 上传用户:guomenling
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用.
其他文献
在酒乡肖尔布拉克有这样一对再婚夫妇,他们经历过一次失败的婚姻,当命运之神将两人紧紧联系在一起时,他们敞开爱的博大胸怀,将一个组合家庭经营得和和美美,让人赞不绝口。他
在社会主义市场经济不断发展的今天,我国事业单位体制在不断深化。为了适应市场经济的要求,越来越多的事业单位认识到在这场事业单位体制改革中会计制度改革的重要性。文章首
在炼焦厂建设项目环境影响评价过程中,通过严格把握国家相关法律法规、产业政策及环保政策,深入了解炼焦生产工艺,掌握炼焦厂的污染特点,提出针对性较强的污染控制措施等技术要点
依法维护职工群众的合法权益,是工会的四大社会职能之一。在所有制结构、经济结构、劳动关系已经发生深刻变化的今天,如何在复杂的形势下,更好地依法维护职工群众的合法权益,
1997年,农二师二十一团决定成立农机站统一全团机务管理,当年在三连任康拜因机车长的秦建民被团党委任命为农机站站长。秦建民上任后,面对的却是破烂的农机具、缺乏有效管理
以日本黑松针叶束为外植体试材进行组织培养,探讨消毒试剂和时间、基本培养基、外源激素的种类和使用浓度、蔗糖浓度等对日本黑松组织培养的影响,结果表明:选用70%的酒精30 s
校园教室里目前都配有灯、风扇、空调、电脑、投影仪等设备,但因为部分人为或外界因素的影响,使教室内的电器设备存在较为严重的资源浪费和安全隐患。同时教室内的电器设备没有得到统一管理,教室管理员不能及时了解到设备状态,当教室内有异常情况时,不能够对设备做出及时的处理,教室管理员需要逐一排查,也大大增加了管理员的日常工作量。针对以上存在的问题,研究设计一套智能教室管理平台是十分必要的,能够实现对校园教室电
期刊
2011年,农二师三十团工会为全团10个农业连队配发了相应的图书,内容包括文化教育、学生读物、生活百科、农业、科普等12类2000余本新图书。此外,该团宣传科为进一步补充和丰