| HEYTING代数与FUZZY蕴涵代数 |
| |
| 引用本文： | 李志伟,郑崇友. HEYTING代数与FUZZY蕴涵代数[J]. 数学杂志, 2002, 22(2): 237-240 |
| |
| 作者姓名： | 李志伟 郑崇友 |
| |
| 作者单位： | 首都师范大学数学系,北京,100037 |
| |
| 基金项目： | 国家自然科学基金资助项目 (199710 5 9) |
| |
| 摘 要： | Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。
|
| 关 键 词： | Heyting代数 Fuzzy蕴涵代数 Heyting型Fuzzy蕴涵代数 |
| 文章编号： | 0255-7797(2002)02-0237-04 |
| 修稿时间： | 2001-02-05 |
HEYTING ALGEBRA AND FUZZY IMPLICATION ALGEBRA |
| |
| LI Zhi-wei ZhenChong-you. HEYTING ALGEBRA AND FUZZY IMPLICATION ALGEBRA[J]. Journal of Mathematics, 2002, 22(2): 237-240 |
| |
| Authors: | LI Zhi-wei ZhenChong-you |
| |
| Abstract: | Heyting algebra is introduced as the algebraic model of intuition proposition logic.Fuzzy implication algebra is a kind of algebraic abstraction of implicative connection of logic system whic value is in .In this paper,some basic properties of Heyting Algebra are discussed and it is proved that a Heyting algebra must be a fuzzy implication algebra,and be a Heyting-FI algebra also. |
| |
| Keywords: | Heyting algebra Fuzzy implication algebra Heyting-FI algebra. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
