摘要
Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。
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.
出处
《数学杂志》
CSCD
北大核心
2002年第2期237-240,共4页
Journal of Mathematics
基金
国家自然科学基金资助项目 (199710 5 9)