摘要
研究了Ｈｉｌｂｅｒｔ代数的生成演绎系统的一些性质后，做成了Ｈｉｌｂｅｒｔ代数的商结构，并证明了这种商结构仍然是一个Ｈｉｌｂｅｒｔ代数。
Abstract In this paper, the properties of the generated deductive systems are studied and the quotient structure of Hilbert algebra has been given out, it is proved that the quotient of Hilbert algebra is also a Hilbert algebra.
出处
《工程数学学报》
CSCD
北大核心
1999年第1期132-134,共3页
Chinese Journal of Engineering Mathematics
