论文部分内容阅读
Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。
关于Heyting代数公理系统的一个注记
【摘 要】
：
Ｈｅｙｔｉｎｇ代数是一类重要的代数，很多数学结构都与这一代数有联系。在本文，我们指出，Ｈｅｙｔｉｎｇ代数的公理系统中的一个条件是多余的。
【机 构】
：
云南师范大学数学系
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
1999年4期
其他文献
搞好国有企业,让国有企业在国民经济和社会发展中始终占据重要的位置,成为经济发展的领头羊,关键在于人,关键在于企业的经营管理者,在于企业的领导班子队伍建设。文章分析了
Ｗｉｎｄｏｗｓ系列系统软件是当今ＰＣ平台上流行的操作系统，本文首先介绍了Ｗｉｎｄｏｗｓ系列软件的总体操作特点，然后针对目前用户使用计算机的实际情况，分析并指出了视窗体制在人机界面方便所存在的局限性。
随着农业生产经营“小生产”和“大市场”的矛盾日益尖锐，提高农民组织化程度逐渐成为了应对社会主义新农村建设和构建海峡西岸经济区的一种理性选择。本文在实地调查的基础上
局域网在构建和使用时,难免出现这样那样的故障。排除故障、优化系统,是管理局域网最基本的工作之一。本文阐述了网络故障诊断及诊断的一般模式以及在实际应用中经常遇到的一
本文分析厂刨床工作台的负载特性和原K-F-D调速系统的调速特性,并对用交流变频电机工作龙门刨床主拖动系统进行可行性分析,给出交流变频电动机、变频器和PLC改造刨床的控制和
设Ｘ：Ｍ＾ｎ→Ｅ＾Ｎ为黎曼流形到欧氏Ｎ－空间的等距浸入，〈ｈ〉及Ｈ分别表示浸入Ｘ的第二基本形式匠长度及平均曲率，本文半证明积分∫Ｍ＾ｎ〈ｈ〉＾ｎｄｖ在保高斯映射的共形形变下是不变量。
本文考虑带参数的多目标规划ＶＰ（ｕ，ｖ，ｗ），Ｄ（ｖ）－Ｍｉｎ｛ｘ∈Ｘ０（ｗ）｝，其中目标函数ｆ（ｘ，ｕ）关于变元ｕ在ｕ处一致收敛于ｆ（ｘ）＝ｆ（ｘ，ｕ）