最小演绎系统相关硕士博士期刊学术论文

研究了Ｈｉｌｂｅｒｔ代数的生成演绎系统的一些性质后，做成了Ｈｉｌｂｅｒｔ代数的商结构，并证明了这种商结构仍然是一个Ｈｉｌｂｅｒｔ代数。......