关于Heyting代数公理系统的一个注记

Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

选择公理的逻辑分析

本文讨论：（１）选择公理的若干等价形式；（２）选择公理的作用；（３）选择公理的可靠性；（４）选择公理的弱形式。     

微机证明系统的设计与实现

在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。     

实数的确界定理和连续性公理在平面上的推广

由于平面上任意两点不可比较大小,导致了直线上成立的很多结论在平面上就很难成立,由此借助偏序集理论在平面上规定了一种全序,从而将实数的确界定理和连续性公理推广到平面上,得到了平面上相应的确界定理和连续性公理.     

偏好语境下的序逻辑

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.     

悬理与真理

20世纪是人类史上天翻地覆的伟大时代。两次世界大战,激烈的革命,社会主义兴起,殖民主义灭亡;科学跃进,技术腾飞,生产力大发展。凡从那走过来的人,都有说不尽的激扬悲壮。科技如江河奔腾,一泻千里。人类掌握了飞翔,潜海,征服着太空,遍探太阳系;驾驭原子能;     

n素元组猜想对于Peano公理组的条件独立性

用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.     

大学数学中的无穷观

讨论数学中的无穷概念的学习与理解,使大学数学教育更有利于大学生建立科学的数学无穷观,提高大学生的数学素质.     

关于群体偏比映射理性条件的探讨

在群体偏比公理的基础上,提出并研究了群体偏比映射满足的若干新的理性条件,并且就带权积偏比映射验证了它满足这些理性条件的情况.