论文部分内容阅读
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与其他非经典逻辑的关系。
命题演算的两个直觉主义系统
【摘 要】
：
介绍了一阶命题演算的两个直觉主义系统，希尔伯特型（HSI）及自然演绎型（NDSI），并证明了这两个系统的等价性，揭示了直觉主义逻辑的内函及与其他非经典逻辑的关系。
【机 构】
：
河北大学计算机科学学院,河北大学数学系
【出 处】
：
河北大学学报：自然科学版
【发表日期】
：
2000年4期
其他文献
在量子力学中引入负质量粒子使很多问题得到很好解释，并通过正，负质量Ｄｉｒａｃ场的混合，得出味真空态和质量真空态的关系。
高职计算机组装与维护课的改革应围绕培养目标进行课程建设,改革教学内容和课程体系,采用模块化方式教学,突破传统的考核方法,使考核能客观、可靠地反映出教学效果和学生掌握
2003年秋天，胡正强先生抱来一大摞原稿来看我，并且谈了他对从事新闻学和新闻史教学与研究工作的心得。尽管我对新闻学科比较生疏，但对他研究我国现代新闻史及其人物的课题，很有兴
苏颋是初盛唐之际的重要文人，因为擅长草拟制诰，与燕国公张说并称为“燕许大手笔”。2007年以后涌现出许多对苏颂诗文及其影响研究的专题学位论文和研究论文。2007年至2016年苏
报业集团化的出现，使中国报纸的经济规模扩张到了前所未有的程度，一些大的报业集团的年经营收入已接近20亿人民币。但是，如果与拥有数百亿美元资产的国际传媒集团相比，中国报业的
给出了非奇Ｍ－矩阵新的判定理，利用矩阵Ｂ＝Ａ＋Ａ^T满足新的判定定理的条件，得出矩阵Ａ为非奇Ｍ矩阵的结论，推广了已有的判定定理，实例说明，采用该定理可以较为容易地得出判定结果。
书籍装帧艺术设计简单地归结为具体的形，这些具体的形能让读者产生联想，从中品味到不同的思想内涵。书籍装帧设计包括书的外装和版式设计，也就是图书中一切可视的形象图形。这些
从日本自身来说，开展共同出版可以说是源远流长。以前，在美术图书的领域，与欧美国家共同出版的情况很多。现在，由日本《书本与计算机》编辑室提出设想，地处东亚的日本、韩国、中国