heyting algebra 中文意思是什麼
-
The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed. then some conditions when a implication algebra is a boolean algebra are given. 3
系統地研究了偏序集上蘊涵代數與heyting代數之間的關系，得到了蘊涵代數中蘊涵運算元的一個較好的條件，並給出了偏序集上蘊涵代數成為布爾代數的一些條件。 -
Fuzzy logic is studied with algebraic tools in this paper. a kind of algebraic abstract of fuzzy logic, implication algebra on a partial ordered set, is given. the relations between implication algebra and other algebraic structures, such as mv - algebra and heyting algebra etc., and the filter and the structure of implication algebra on a partial ordered set are studied
本文的目的是使用代數工具對模糊邏輯進行研究，給出模糊邏輯的一類代數抽象，即偏序集上的蘊涵代數，研究偏序集上蘊涵代數與其它代數結構，如mv -代數， heyting代數之間的關系，以及偏序集上蘊涵代數的濾子與其結構等。
分享友人