布斯内格、杜米特鲁 关于希尔伯特代数演绎系统的注记。 （英语） Zbl 0584.06005号 Kobe J.数学。 2, 29-35 (1985). 设（A，\（\ to，0,1）\）是有界希尔伯特代数。A.迭戈《希尔伯特研究》（1966；Zbl 0144.001）]。代数A的演绎系统（或蕴涵滤子）是一个子集（D\subseteq A\），即D中的（1）和D中的x到D中的y）。设（D_s（A））表示A的所有演绎系统的Moore族，Spec（A。本文的主要结果是，对于有界Hilbert代数a，以下条件是等价的：；（ii）格（D_s（A））是布尔代数；（iii）A是一个有限布尔代数。审核人：S.鲁迪亚努 引用于20文件 MSC公司： 06D20日 Heyting代数（格理论方面） 03G25号 与逻辑相关的其他代数 06B10号 格理想，同余关系 05年6月 布尔代数的结构理论 关键词：有界希尔伯特代数;隐含滤波器;演绎系统;有限布尔代数 引文：Zbl 0144.001号 PDF格式BibTeX公司 XML格式引用 \textit{D.Busneag}，Kobe J.数学。2、29-35（1985年；Zbl 0584.06005）