论文部分内容阅读
Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。
HEYTING代数与FUZZY蕴涵代数
【摘 要】
：
Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是F
【机 构】
：
首都师范大学数学系
【出 处】
：
数学杂志
【发表日期】
：
2002年2期
【基金项目】
：
国家自然科学基金资助项目 (199710 5 9)
其他文献
线性回归模型的建立,一个很重要的过程就是自变元的选择,它直接决定着模型的优劣.本文给出了"宜取回归方程”的逐步回归方法,在一组适当的条件下,证明了这种方法的强相合性.
本文考虑在决策者偏好不明确的条件下,使系统获得最优的思想,提出了多目标决策系统最优解的概念.把前馈神经网络与演化算法相结合,用于多目标决策系统最优解的选取.给出了有
本文利用亏量对复微分方程组的允许解的估计进行了改进，得到了一个主要结果。